src/test/ui/traits/alias/self-in-const-generics.rs

   1 #![allow(incomplete_features)]
   2 #![feature(generic_const_exprs)]
   3 #![feature(trait_alias)]
   4
   5 trait Bar<const N: usize> {}
   6
   7 trait BB = Bar<{ 2 + 1 }>;
   8
   9 fn foo(x: &dyn BB) {}
  10 //~^ ERROR the trait alias `BB` cannot be made into an object [E0038]
  11
  12 fn main() {}