use std::marker; | |
struct Invariant<'a> { | |
marker: marker::PhantomData<*mut &'a()> | |
} | |
fn to_same_lifetime<'r>(b_isize: Invariant<'r>) { | |
let bj: Invariant<'r> = b_isize; | |
} | |
fn to_longer_lifetime<'r>(b_isize: Invariant<'r>) -> Invariant<'static> { | |
b_isize //~ ERROR mismatched types | |
} | |
fn main() { | |
} |