blob: fd3dd2cef9d1c9c8ba95d8d6e51ec9fceff8f1e1 [file]
#![feature(const_trait_impl)]
#![allow(incomplete_features)]
trait Foo {}
const impl Foo for i32 {} //~ ERROR: expected identifier, found keyword
trait Bar {}
const impl<T: Foo> Bar for T {} //~ ERROR: expected identifier, found keyword
const fn still_implements<T: Bar>() {}
const _: () = still_implements::<i32>();
fn main() {}