blob: 930e24218ac72a49319065d5ac344c6be2f05363 (
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
|
trait Trait {
fn xyz() -> bool;
}
impl Trait for dyn Send + Sync {
fn xyz() -> bool { false }
}
impl Trait for dyn Sync + Send {
//~^ ERROR conflicting implementations
fn xyz() -> bool { true }
}
trait Trait2 {
fn uvw() -> bool;
}
impl Trait2 for dyn Send + Sync {
fn uvw() -> bool { false }
}
impl Trait2 for dyn Sync + Send + Sync {
//~^ ERROR conflicting implementations
fn uvw() -> bool { true }
}
struct Foo<T: ?Sized>(T);
impl Foo<dyn Send + Sync> {
fn abc() -> bool { //~ ERROR duplicate definitions with name `abc`
false
}
}
impl Foo<dyn Sync + Send> {
fn abc() -> bool {
true
}
}
fn main() {
assert_eq!(<Send+Sync>::xyz(), false);
assert_eq!(<Sync+Send>::xyz(), true);
assert_eq!(<Send+Sync>::uvw(), false);
assert_eq!(<Sync+Send+Sync>::uvw(), true);
assert_eq!(<Foo<Send+Sync>>::abc(), false);
assert_eq!(<Foo<Sync+Send>>::abc(), true);
}
|
