tests/ui/type-alias-impl-trait/auxiliary/drop-shim-relates-opaque-aux.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// crate foo

#![feature(type_alias_impl_trait)]

type Tait = impl Sized;
fn _constrain() -> Tait {}

struct WrapperWithDrop<T>(T);
impl<T> Drop for WrapperWithDrop<T> {
    fn drop(&mut self) {}
}

pub struct Foo(WrapperWithDrop<Tait>);

trait Id {
    type Id: ?Sized;
}
impl<T: ?Sized> Id for T {
    type Id = T;
}
pub struct Bar(WrapperWithDrop<<Tait as Id>::Id>);