blob: 204cf9def36885d7b8652ac779ba2049baf1deb3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#![feature(generic_const_items)]
#![allow(incomplete_features)]
// Ensure that we check if outlives-bounds on const items hold or not.
const C<'a, T: 'a>: () = ();
const K<'a, 'b: 'a>: () = ();
fn parametrized0<'any>() {
let () = C::<'static, &'any ()>; //~ ERROR lifetime may not live long enough
}
fn parametrized1<'any>() {
let () = K::<'static, 'any>; //~ ERROR lifetime may not live long enough
}
fn main() {}
|
