diff options
| author | Oleksandr Babak <alexanderbabak@proton.me> | 2023-07-28 20:15:12 +0200 |
|---|---|---|
| committer | Oleksandr Babak <alexanderbabak@proton.me> | 2023-07-28 20:15:12 +0200 |
| commit | 63845e78e18a906e8920b0f823001ee7218e118f (patch) | |
| tree | 599ec4e1e3e166cd214a4cbbea53fb84c1667622 | |
| parent | 317ec04d18ab9c5d09a4d9b4418a12da8974b961 (diff) | |
| download | rust-63845e78e18a906e8920b0f823001ee7218e118f.tar.gz rust-63845e78e18a906e8920b0f823001ee7218e118f.zip | |
clean up after 113312
| -rw-r--r-- | tests/ui/auto-traits/issue-83857-ub.rs | 2 | ||||
| -rw-r--r-- | tests/ui/auto-traits/issue-83857-ub.stderr | 4 | ||||
| -rw-r--r-- | tests/ui/impl-trait/auto-trait-leak | 0 |
3 files changed, 4 insertions, 2 deletions
diff --git a/tests/ui/auto-traits/issue-83857-ub.rs b/tests/ui/auto-traits/issue-83857-ub.rs index 0a8865295c6..626e60c37f6 100644 --- a/tests/ui/auto-traits/issue-83857-ub.rs +++ b/tests/ui/auto-traits/issue-83857-ub.rs @@ -1,4 +1,6 @@ #![allow(suspicious_auto_trait_impls)] +// Tests that we don't incorrectly allow overlap between a builtin auto trait +// impl and a user written one. See #83857 for more details struct Always<T, U>(T, U); unsafe impl<T, U> Send for Always<T, U> {} diff --git a/tests/ui/auto-traits/issue-83857-ub.stderr b/tests/ui/auto-traits/issue-83857-ub.stderr index d2aef17e7f8..23a2f62d905 100644 --- a/tests/ui/auto-traits/issue-83857-ub.stderr +++ b/tests/ui/auto-traits/issue-83857-ub.stderr @@ -1,12 +1,12 @@ error[E0277]: `Foo<T, U>` cannot be sent between threads safely - --> $DIR/issue-83857-ub.rs:20:38 + --> $DIR/issue-83857-ub.rs:22:38 | LL | fn generic<T, U>(v: Foo<T, U>, f: fn(<Foo<T, U> as WithAssoc>::Output) -> i32) { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `Foo<T, U>` cannot be sent between threads safely | = help: the trait `Send` is not implemented for `Foo<T, U>` note: required for `Foo<T, U>` to implement `WithAssoc` - --> $DIR/issue-83857-ub.rs:13:15 + --> $DIR/issue-83857-ub.rs:15:15 | LL | impl<T: Send> WithAssoc for T { | ---- ^^^^^^^^^ ^ diff --git a/tests/ui/impl-trait/auto-trait-leak b/tests/ui/impl-trait/auto-trait-leak deleted file mode 100644 index e69de29bb2d..00000000000 --- a/tests/ui/impl-trait/auto-trait-leak +++ /dev/null |