| error[E0308]: mismatched types |
| --> $DIR/issue-111404-1.rs:10:11 |
| | |
| LL | fn bar(_: fn(Foo<for<'b> fn(Foo<fn(&'b ())>::Assoc)>::Assoc)) {} |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other |
| | |
| = note: expected struct `Foo<fn(&())>` |
| found struct `Foo<for<'b> fn(&'b ())>` |
| |
| error[E0308]: mismatched types |
| --> $DIR/issue-111404-1.rs:10:11 |
| | |
| LL | fn bar(_: fn(Foo<for<'b> fn(Foo<fn(&'b ())>::Assoc)>::Assoc)) {} |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other |
| | |
| = note: expected struct `Foo<fn(&())>` |
| found struct `Foo<for<'b> fn(&'b ())>` |
| = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` |
| |
| error: higher-ranked subtype error |
| --> $DIR/issue-111404-1.rs:10:1 |
| | |
| LL | fn bar(_: fn(Foo<for<'b> fn(Foo<fn(&'b ())>::Assoc)>::Assoc)) {} |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: higher-ranked subtype error |
| --> $DIR/issue-111404-1.rs:10:1 |
| | |
| LL | fn bar(_: fn(Foo<for<'b> fn(Foo<fn(&'b ())>::Assoc)>::Assoc)) {} |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| | |
| = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` |
| |
| error: aborting due to 4 previous errors |
| |
| For more information about this error, try `rustc --explain E0308`. |