//@ run-rustfix | |
#![feature(generic_const_items)] | |
#![allow(incomplete_features, dead_code)] | |
const K<T>: u64 | |
where | |
T: Tr<()> | |
= T::K; | |
//~^^^ ERROR where clauses are not allowed before const item bodies | |
trait Tr<P> { | |
const K: u64 | |
where | |
P: Copy | |
= 0; | |
//~^^^ ERROR where clauses are not allowed before const item bodies | |
} | |
fn main() {} |