blob: da9ef8c89a169adf167a9e882749aa9ff89c8926 [file] [log] [blame]
#![feature(nll)]
struct Foo<'a, 'b: 'a>(&'a &'b ());
impl<'a, 'b> Foo<'a, 'b> {
fn xmute(a: &'b ()) -> &'a () {
unreachable!()
}
}
pub fn foo<'a, 'b>(u: &'b ()) -> &'a () {
Foo::xmute(u) //~ ERROR unsatisfied lifetime constraints
}
fn main() {}