// known-bug: #110395 // check-pass #![feature(const_trait_impl)] #[const_trait] trait Tr {} impl Tr for () {} const fn foo<T>() where T: ~const Tr {} #[const_trait] pub trait Foo { fn foo() { foo::<()>(); //FIXME ~^ ERROR the trait bound `(): Tr` is not satisfied } } fn main() {}