summaryrefslogtreecommitdiffstats
path: root/tests/ui/generator/ref-upvar-not-send.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-06-07 05:48:48 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-06-07 05:48:48 +0000
commitef24de24a82fe681581cc130f342363c47c0969a (patch)
tree0d494f7e1a38b95c92426f58fe6eaa877303a86c /tests/ui/generator/ref-upvar-not-send.rs
parentReleasing progress-linux version 1.74.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-ef24de24a82fe681581cc130f342363c47c0969a.tar.xz
rustc-ef24de24a82fe681581cc130f342363c47c0969a.zip
Merging upstream version 1.75.0+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tests/ui/generator/ref-upvar-not-send.rs')
-rw-r--r--tests/ui/generator/ref-upvar-not-send.rs31
1 files changed, 0 insertions, 31 deletions
diff --git a/tests/ui/generator/ref-upvar-not-send.rs b/tests/ui/generator/ref-upvar-not-send.rs
deleted file mode 100644
index eb9ef63ec..000000000
--- a/tests/ui/generator/ref-upvar-not-send.rs
+++ /dev/null
@@ -1,31 +0,0 @@
-// For `Send` generators, suggest a `T: Sync` requirement for `&T` upvars,
-// and suggest a `T: Send` requirement for `&mut T` upvars.
-
-#![feature(generators)]
-
-fn assert_send<T: Send>(_: T) {}
-//~^ NOTE required by a bound in `assert_send`
-//~| NOTE required by this bound in `assert_send`
-//~| NOTE required by a bound in `assert_send`
-//~| NOTE required by this bound in `assert_send`
-
-fn main() {
- let x: &*mut () = &std::ptr::null_mut();
- let y: &mut *mut () = &mut std::ptr::null_mut();
- assert_send(move || {
- //~^ ERROR generator cannot be sent between threads safely
- //~| NOTE generator is not `Send`
- yield;
- let _x = x;
- });
- //~^^ NOTE captured value is not `Send` because `&` references cannot be sent unless their referent is `Sync`
- //~| NOTE has type `&*mut ()` which is not `Send`, because `*mut ()` is not `Sync`
- assert_send(move || {
- //~^ ERROR generator cannot be sent between threads safely
- //~| NOTE generator is not `Send`
- yield;
- let _y = y;
- });
- //~^^ NOTE captured value is not `Send` because `&mut` references cannot be sent unless their referent is `Send`
- //~| NOTE has type `&mut *mut ()` which is not `Send`, because `*mut ()` is not `Send`
-}