c5598d6a9e
avoid `{type error}` being leaked in user-facing messages,
particularly when using the `adt_const_params` feature
18 lines
458 B
Rust
18 lines
458 B
Rust
#![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
|
|
|
|
const B<T: Trait<'_>>: () = (); //~ ERROR `'_` cannot be used here
|
|
|
|
trait Trait<'a> {}
|
|
|
|
fn main() {}
|