|
//@ known-bug: #120033
|
|
#![feature(non_lifetime_binders)]
|
|
|
|
pub trait Foo<T: ?Sized> {
|
|
type Bar<K: ?Sized>;
|
|
}
|
|
|
|
pub struct Bar<T: ?AutoTrait> {}
|
|
|
|
pub fn f<T1, T2>()
|
|
where
|
|
T1: for<T> Foo<usize, Bar = Bar<T>>,
|
|
T2: for<L, T> Foo<usize, Bar<T> = T1::Bar<T>>,
|
|
{}
|