[rustc.git] / src / test / ui / rfc-2632-const-trait-impl / const-impl-recovery.rs

#![feature(const_trait_impl)]

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() {}
Commit	Line	Data
fc512014	1	#![feature(const_trait_impl)]
fc512014 XL	2
	3	trait Foo {}
	4
	5	const impl Foo for i32 {} //~ ERROR: expected identifier, found keyword
	6
	7	trait Bar {}
	8
	9	const impl<T: Foo> Bar for T {} //~ ERROR: expected identifier, found keyword
	10
	11	const fn still_implements<T: Bar>() {}
	12
	13	const _: () = still_implements::<i32>();
	14
	15	fn main() {}