blob: 1440f02df1df884d135709cbc13669d44d24189b (
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
// check-pass
// This test checks that trait objects involving trait aliases are well-formed.
#![feature(trait_alias)]
trait Obj {}
trait _0 = Send + Sync;
// Just auto traits:
trait _1 = _0 + Send + Sync;
use std::marker::Unpin;
fn _f0() {
let _: Box<dyn _0>;
let _: Box<dyn _1>;
let _: Box<dyn Unpin + _1 + Send + Sync>;
}
// Include object safe traits:
fn _f1() {
let _: Box<dyn Obj + _0>;
let _: Box<dyn Obj + _1>;
let _: Box<dyn Obj + _1 + _0>;
}
// And when the object safe trait is in a trait alias:
trait _2 = Obj;
fn _f2() {
let _: Box<dyn _2 + _0>;
let _: Box<dyn _2 + _1>;
let _: Box<dyn _2 + _1 + _0>;
}
// And it should also work when that trait is has auto traits to the right of it.
trait _3 = Obj + Unpin;
fn _f3() {
let _: Box<dyn _3 + _0>;
let _: Box<dyn _3 + _1>;
let _: Box<dyn _3 + _1 + _0>;
}
// Nest the trait deeply:
trait _4 = _3;
trait _5 = _4 + Sync + _0 + Send;
trait _6 = _5 + Send + _1 + Sync;
fn _f4() {
let _: Box<dyn _6 + _0>;
let _: Box<dyn _6 + _1>;
let _: Box<dyn _6 + _1 + _0>;
}
// Just nest the trait alone:
trait _7 = _2;
trait _8 = _7;
trait _9 = _8;
fn _f5() {
let _: Box<dyn _9>;
}
// First bound is auto trait:
trait _10 = Send + Obj;
trait _11 = Obj + Send;
trait _12 = Sync + _11;
trait _13 = Send + _12;
fn f6() {
let _: Box<dyn _10>;
let _: Box<dyn _13>;
}
fn main() {}
|
