tests/ui/const-generics/min_const_generics/forbid-self-no-normalize.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

trait AlwaysApplicable {
    type Assoc;
}
impl<T: ?Sized> AlwaysApplicable for T {
    type Assoc = usize;
}

trait BindsParam<T> {
    type ArrayTy;
}
impl<T> BindsParam<T> for <T as AlwaysApplicable>::Assoc {
    type ArrayTy = [u8; Self::MAX]; //~ ERROR generic `Self` types
}

fn main() {}