[rustc.git] / src / test / ui / const-generics / min_const_generics / forbid-self-no-normalize.rs

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() {}
Commit	Line	Data
5099ac24 FG	1	trait AlwaysApplicable {
	2	type Assoc;
	3	}
	4	impl<T: ?Sized> AlwaysApplicable for T {
	5	type Assoc = usize;
	6	}
	7
	8	trait BindsParam<T> {
	9	type ArrayTy;
	10	}
	11	impl<T> BindsParam<T> for <T as AlwaysApplicable>::Assoc {
	12	type ArrayTy = [u8; Self::MAX]; //~ ERROR generic `Self` types
	13	}
	14
	15	fn main() {}