blob: 837124db04e208670258d9c85a98a0775b0a4b34 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#![feature(const_trait_impl)]
#[const_trait]
trait Foo {}
const impl Foo for i32 {} //~ ERROR: expected identifier, found keyword
#[const_trait]
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() {}
|
