1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
// run-pass
#![feature(unsize, dispatch_from_dyn, never_type)]
#![allow(dead_code)]
use std::{
ops::DispatchFromDyn,
marker::{Unsize, PhantomData},
};
struct Zst;
struct NestedZst(PhantomData<()>, Zst);
struct WithUnit<T: ?Sized>(Box<T>, ());
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<WithUnit<U>> for WithUnit<T>
where T: Unsize<U> {}
struct WithPhantom<T: ?Sized>(Box<T>, PhantomData<()>);
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<WithPhantom<U>> for WithPhantom<T>
where T: Unsize<U> {}
struct WithNever<T: ?Sized>(Box<T>, !);
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<WithNever<U>> for WithNever<T>
where T: Unsize<U> {}
struct WithZst<T: ?Sized>(Box<T>, Zst);
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<WithZst<U>> for WithZst<T>
where T: Unsize<U> {}
struct WithNestedZst<T: ?Sized>(Box<T>, NestedZst);
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<WithNestedZst<U>> for WithNestedZst<T>
where T: Unsize<U> {}
struct Generic<T: ?Sized, A>(Box<T>, A);
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<Generic<U, ()>> for Generic<T, ()>
where T: Unsize<U> {}
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<Generic<U, PhantomData<()>>>
for Generic<T, PhantomData<()>>
where T: Unsize<U> {}
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<Generic<U, !>> for Generic<T, !>
where T: Unsize<U> {}
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<Generic<U, Zst>> for Generic<T, Zst>
where T: Unsize<U> {}
impl<T: ?Sized, U: ?Sized> DispatchFromDyn<Generic<U, NestedZst>> for Generic<T, NestedZst>
where T: Unsize<U> {}
fn main() {}
|
