mirror of https://github.com/rust-lang/rust.git
22 lines
525 B
Rust
22 lines
525 B
Rust
// 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;
|
|
}
|
|
|
|
fn foo(_: <Thing as Every>::Assoc) {}
|
|
|
|
fn main() {}
|