blob: 2ed3d936e32aefafb663b2f2da7de0046e0f7203 [file] [log] [blame]
#![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 {};
}