//@ check-pass
#![feature(const_trait_impl)]
#[const_trait]
pub trait Test {}
impl Test for () {}
pub const fn test<T: ~const Test>() {}
pub const fn min_by_i32() -> fn() {
test::<()>
}
fn main() {}