1 // run-pass 2 // Test that we are able to have an impl that defines an associated type 3 // before the actual trait. 4 5 // pretty-expanded FIXME #23616 6 7 impl X for f64 { type Y = isize; } 8 trait X { type Y; } main()9 fn main() {} 10