blob: cca73e2e81e8dbf6ed93e6f9c27ae040865991c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#![feature(generic_const_items)]
#![allow(incomplete_features)]
// Check that we forbid elided lifetimes inside the generics of const items.
const K<T>: () = ()
where
&T: Copy; //~ ERROR `&` without an explicit lifetime name cannot be used here
const I<const S: &str>: &str = "";
//~^ ERROR `&` without an explicit lifetime name cannot be used here
//~| ERROR `&str` is forbidden as the type of a const generic parameter
const B<T: Trait<'_>>: () = (); //~ ERROR `'_` cannot be used here
trait Trait<'a> {}
fn main() {}
|
