pub fn accept(_: impl Trait<K: Copy>) {}
//~^ ERROR expected type, found constant

pub trait Trait {
    const K: i32;
}

fn main() {}