]>
Commit | Line | Data |
---|---|---|
064997fb FG |
1 | // check-pass |
2 | ||
3 | #![feature(type_alias_impl_trait)] | |
4 | ||
5 | struct Send<T> { | |
6 | i: InnerSend<T>, | |
7 | } | |
8 | ||
9 | type InnerSend<T> = impl Sized; | |
10 | ||
11 | fn constrain<T>() -> InnerSend<T> { | |
12 | () | |
13 | } | |
14 | ||
15 | trait SendMustNotImplDrop {} | |
16 | ||
17 | #[allow(drop_bounds)] | |
18 | impl<T: Drop> SendMustNotImplDrop for T {} | |
19 | ||
20 | impl<T> SendMustNotImplDrop for Send<T> {} | |
21 | ||
22 | fn main() {} |