1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
// build-pass (FIXME(62277): could be check-pass?) #![allow(dead_code)] // pretty-expanded FIXME #23616 trait MyTrait { fn f(&self) -> Self; } struct S { x: isize } impl MyTrait for S { fn f(&self) -> S { S { x: 3 } } } pub fn main() {}