#![feature(associated_const_equality)] pub fn accept(_: impl Trait<K = 0>) {} pub trait Trait { const K: i32; }