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

   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() {}