1 #![feature(const_trait_impl)] 2 3 #[const_trait] 4 trait Foo {} 5 6 const impl Foo for i32 {} //~ ERROR: expected identifier, found keyword 7 8 #[const_trait] 9 trait Bar {} 10 11 const impl<T: Foo> Bar for T {} //~ ERROR: expected identifier, found keyword 12 still_implements<T: Bar>()13const fn still_implements<T: Bar>() {} 14 15 const _: () = still_implements::<i32>(); 16 main()17fn main() {} 18