24 lines
288 B
Rust
24 lines
288 B
Rust
|
//@ compile-flags: -Znext-solver
|
||
|
|
//@ check-pass
|
||
|
|
|
||
|
|
// Regression test for #119608.
|
||
|
|
|
||
|
|
pub trait Foo {}
|
||
|
|
|
||
|
|
pub trait Bar {
|
||
|
|
type Assoc;
|
||
|
|
}
|
||
|
|
|
||
|
|
impl<T: Foo> Bar for T {
|
||
|
|
type Assoc = T;
|
||
|
|
}
|
||
|
|
|
||
|
|
pub fn foo<I>(_input: <I as Bar>::Assoc)
|
||
|
|
where
|
||
|
|
I: Bar,
|
||
|
|
<I as Bar>::Assoc: Foo,
|
||
|
|
{
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {}
|