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


1
2
3
4
5
6
7
8
9

// run-pass
// Test that we are able to have an impl that defines an associated type
// before the actual trait.

// pretty-expanded FIXME #23616

impl X for f64 { type Y = isize; }
trait X { type Y; }
fn main() {}