| //@ run-rustfix | |
| #![allow(incomplete_features, dead_code, unused_braces)] | |
| #![feature(generic_const_exprs)] | |
| trait Bar<const N: usize> {} | |
| trait Foo<'a> { | |
| const N: usize; | |
| type Baz: Bar<{ Self::N }> where [(); { Self::N }]:; | |
| //~^ ERROR: unconstrained generic constant | |
| } | |
| fn main() {} |