#![feature(associated_const_equality)]

pub fn accept(_: impl Trait<K = 0>) {}

pub trait Trait {
    const K: i32;
}