summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/dedup-regions.rs
blob: f376f39a5a6624d33aab48b824c0c6a6e85f8f29 (plain)
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
// compile-flags: -Ztrait-solver=next
// check-pass

struct A(*mut ());

unsafe impl Send for A where A: 'static {}

macro_rules! mk {
    ($name:ident $ty:ty) => {
        struct $name($ty, $ty, $ty, $ty, $ty, $ty, $ty, $ty, $ty, $ty);
    };
}

mk!(B A);
mk!(C B);
mk!(D C);
mk!(E D);
mk!(F E);
mk!(G F);
mk!(H G);
mk!(I H);
mk!(J I);
mk!(K J);
mk!(L K);
mk!(M L);

fn needs_send<T: Send>() {}

fn main() {
    needs_send::<M>();
}