blob: fc8666bbcdb79c1862463b271400f2935c0c0f74 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#![feature(const_trait_impl)]
trait Trait {
const N: usize;
}
impl const Trait for i32 {}
//~^ ERROR not all trait items implemented, missing: `N`
fn f()
where
[(); <i32 as Trait>::N]:,
{}
fn main() {}
|