blob: e1cf7b579aa5a3a2336281f538c2e38bb604a6f9 (
plain)
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() {}
|