| // Check that we eventually catch types of assoc const bounds |
| // (containing late-bound vars) that are ill-formed. |
| #![feature(associated_const_equality)] |
| |
| trait Trait<T> { |
| const K: T; |
| } |
| |
| fn take( |
| _: impl Trait< |
| <<for<'a> fn(&'a str) -> &'a str as Project>::Out as Discard>::Out, |
| K = { () } |
| >, |
| ) {} |
| //~^^^^^ ERROR implementation of `Project` is not general enough |
| //~^^^^ ERROR higher-ranked subtype error |
| //~| ERROR higher-ranked subtype error |
| |
| trait Project { type Out; } |
| impl<T> Project for fn(T) -> T { type Out = T; } |
| |
| trait Discard { type Out; } |
| impl<T: ?Sized> Discard for T { type Out = (); } |
| |
| fn main() {} |
