1 // Test for issue #57362, ensuring that the self ty is shown in cases of higher-ranked lifetimes
2 // conflicts: the `expected` and `found` trait refs would otherwise be printed the same, leading
3 // to confusing notes such as:
4 // = note: expected type `Trait`
7 // extracted from a similar issue: #57642
10 fn make_g() -> Self::G;
13 impl<'a> X for fn(&'a ()) {
16 fn make_g() -> Self::G {
22 let x = <fn (&())>::make_g(); //~ ERROR the function