blob: 85f1adc5c19dcd06c4b3287bc8bc8b336de33846 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
//@ 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() {}
|
