blob: bff470c2883253b404df61b80781c5e1d098cc68 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// run-rustfix
#![feature(generic_const_items)]
#![allow(incomplete_features, dead_code)]
const K<T>: u64
= T::K where
T: Tr<()>;
//~^^^ ERROR where clauses are not allowed before const item bodies
trait Tr<P> {
const K: u64
= 0 where
P: Copy;
//~^^^ ERROR where clauses are not allowed before const item bodies
}
fn main() {}
|
