tests/ui/traits/alias/self-in-const-generics.rs


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

#![allow(incomplete_features)]
#![feature(generic_const_exprs)]
#![feature(trait_alias)]

trait Bar<const N: usize> {}

trait BB = Bar<{ 2 + 1 }>;

fn foo(x: &dyn BB) {}
//~^ ERROR the trait alias `BB` is not dyn compatible [E0038]

fn main() {}