Β« first day (3980 days earlier)   

03:19
@Matthieu M.: (It appears that `path` works, although why `path`, a type path according to the doc, and not `ty`, ... is anyone's guess)
doc.rust-lang.org/reference/paths.html#r-paths.type.intro "Type paths are used within type definitions, trait bounds, type parameter bounds, and qualified paths." The names of the different types of paths is less about what the path refers to and more about the context in which the path appears.
 
7 hours later…
10:08
@Francis GagnΓ© Thanks for the confirmation it's the proper one. The name really doesn't suggest it :'(

Β« first day (3980 days earlier)