| // Make sure we don't ICE in `normalize_erasing_regions` when normalizing |
| // an associated type in an impl with unconstrained non-lifetime params. |
| // (This time in a function signature) |
| |
| //@ revisions: current next |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@[next] compile-flags: -Znext-solver |
| |
| struct Thing; |
| |
| pub trait Every { |
| type Assoc; |
| } |
| impl<T: ?Sized> Every for Thing { |
| //~^ ERROR the type parameter `T` is not constrained |
| type Assoc = T; |
| //~^ ERROR: the size for values of type `T` cannot be known at compilation time |
| } |
| |
| fn foo(_: <Thing as Every>::Assoc) {} |
| //[next]~^ ERROR: type annotations needed |
| |
| fn main() {} |
