about summary refs log tree commit diff
path: root/tests/ui/asm/inline-asm-with-lifetimes.rs
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() {}