1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
|
#![feature(type_alias_impl_trait)]
type Foo<'a> = impl Sized;
#[define_opaque(Foo)]
fn foo<'a, 'b>(x: &'a u32, y: &'b u32) -> (Foo<'a>, Foo<'b>) {
(x, y)
//~^ ERROR opaque type used twice with different lifetimes
}
type Bar<'a, 'b> = impl std::fmt::Debug;
#[define_opaque(Bar)]
fn bar<'x, 'y>(i: &'x i32, j: &'y i32) -> (Bar<'x, 'y>, Bar<'y, 'x>) {
(i, j)
//~^ ERROR opaque type used twice with different lifetimes
}
fn main() {
let meh = 42;
let muh = 69;
println!("{:?}", bar(&meh, &muh));
}
|