1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#![feature(more_qualified_paths)] struct Struct {} trait Trait { type Type; } impl Trait for Struct { type Type = Self; } fn main() { // keep the qualified path details let _ = <Struct as Trait>::Type {}; }