diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:03 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:19:03 +0000 |
commit | 64d98f8ee037282c35007b64c2649055c56af1db (patch) | |
tree | 5492bcf97fce41ee1c0b1cc2add283f3e66cdab0 /tests/ui/traits/issue-33140.rs | |
parent | Adding debian version 1.67.1+dfsg1-1. (diff) | |
download | rustc-64d98f8ee037282c35007b64c2649055c56af1db.tar.xz rustc-64d98f8ee037282c35007b64c2649055c56af1db.zip |
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tests/ui/traits/issue-33140.rs')
-rw-r--r-- | tests/ui/traits/issue-33140.rs | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/tests/ui/traits/issue-33140.rs b/tests/ui/traits/issue-33140.rs new file mode 100644 index 000000000..9bdac4b83 --- /dev/null +++ b/tests/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); +} |