#![feature(unsafe_binders)]

fn foo() -> unsafe<'a>
&'a () {}

struct Foo {
    x: unsafe<'a>
&'a (),
}

struct Bar(unsafe<'a> &'a ());

impl Trait for unsafe<'a> &'a () {}

fn empty()
-> unsafe<> () {}