blob: 7584f98ec90600b428965f02a31b132af3fe71ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
//@ known-bug: #120033
#![feature(non_lifetime_binders)]
#![allow(sized_hierarchy_migration)]
#![feature(sized_hierarchy)] // added to keep parameters unconstrained
pub trait Foo<T: std::marker::PointeeSized> {
type Bar<K: std::marker::PointeeSized>;
}
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>>,
{}
|
