1 // Regression test for issue #57642
2 // Tests that we reject a bad higher-ranked subtype
6 fn make_g() -> Self::G;
9 impl<'a> X for fn(&'a ()) {
12 fn make_g() -> Self::G {
19 fn make_f() -> Self::F;
25 fn make_f() -> Self::F {
30 fn higher_ranked_region_has_lost_its_binder() {
31 let x = <fn (&())>::make_g(); //~ ERROR the function
35 let x = <fn (&())>::make_f(); //~ ERROR no function