summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/alias/self-in-const-generics.rs
blob: b0de8ccd67847b23018d456d434a35d18de5ad23 (plain)
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` cannot be made into an object [E0038]

fn main() {}