25 lines
675 B
Rust
25 lines
675 B
Rust
//@ compile-flags: -Znext-solver
|
|
//@ check-pass
|
|
|
|
// Regression test for <https://github.com/rust-lang/trait-system-refactor-initiative/issues/171>.
|
|
// Tests that we don't try to replace `<T as Other>::Assoc` when replacing projections in the
|
|
// required bounds for `dyn Foo`, b/c `T` is not relevant to the dyn type, which we were
|
|
// encountering when walking through the elaborated supertraits of `dyn Foo`.
|
|
|
|
trait Other<X> {}
|
|
|
|
trait Foo<T: Foo<T>>: Other<<T as Foo<T>>::Assoc> {
|
|
type Assoc;
|
|
}
|
|
|
|
impl<T> Foo<T> for T {
|
|
type Assoc = ();
|
|
}
|
|
|
|
impl<T: ?Sized> Other<()> for T {}
|
|
|
|
fn is_foo<T: Foo<()> + ?Sized>() {}
|
|
|
|
fn main() {
|
|
is_foo::<dyn Foo<(), Assoc = ()>>();
|
|
}
|