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