1 2 3 4 5 6 7 8 9
#![feature(const_trait_impl)] #[const_trait] trait Bar {} fn foo<T>() where T: ~const Bar {} //~^ ERROR `~const` is not allowed fn main() {}