blob: 79def03eeb2322507a29f8287c44b7b71afaa534 (
plain)
| 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 | //@ revisions: good bad
//@[good] build-pass
//@ needs-asm-support
use std::arch::asm;
// lifetime requirement, we should check it!!
#[cfg(bad)]
fn dep<'a, T: 'a>() {}
// no lifetime requirement
#[cfg(good)]
fn dep<'a: 'a, T>() {}
fn test<'a: 'a, T>() {
    unsafe {
        asm!("/* {} */", sym dep::<'a, T> );
        //[bad]~^ ERROR the parameter type `T` may not live long enough
    }
}
fn main() {}
 |