blob: e9943beddbf3700bb5c7b49569274c001b98aa28 [file] [log] [blame]
#![feature(existential_type)]
fn main() {}
existential type Two<'a, 'b>: std::fmt::Debug;
fn one<'a>(t: &'a ()) -> Two<'a, 'a> { //~ ERROR non-defining existential type use
t
}