| //@ 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() {} |