1 2 3 4 5 6 7 8
pub fn accept(_: impl Trait<K: Copy>) {} //~^ ERROR expected type, found constant pub trait Trait { const K: i32; } fn main() {}