src/test/ui/associated-types/associated-types-issue-20371.rs

   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; }
   9 fn main() {}