diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:02:58 +0000 |
commit | 698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch) | |
tree | 173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/traits/issue-33140.rs | |
parent | Initial commit. (diff) | |
download | rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip |
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/traits/issue-33140.rs')
-rw-r--r-- | src/test/ui/traits/issue-33140.rs | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/src/test/ui/traits/issue-33140.rs b/src/test/ui/traits/issue-33140.rs new file mode 100644 index 000000000..9bdac4b83 --- /dev/null +++ b/src/test/ui/traits/issue-33140.rs @@ -0,0 +1,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!(<dyn Send + Sync>::xyz(), false); + assert_eq!(<dyn Sync + Send>::xyz(), true); + assert_eq!(<dyn Send + Sync>::uvw(), false); + assert_eq!(<dyn Sync + Send+ Sync>::uvw(), true); + assert_eq!(<Foo<dyn Send + Sync>>::abc(), false); + assert_eq!(<Foo<dyn Sync + Send>>::abc(), true); +} |