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/kindck/kindck-send-object1.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/kindck/kindck-send-object1.rs')
-rw-r--r-- | src/test/ui/kindck/kindck-send-object1.rs | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/src/test/ui/kindck/kindck-send-object1.rs b/src/test/ui/kindck/kindck-send-object1.rs new file mode 100644 index 000000000..787d0f8f6 --- /dev/null +++ b/src/test/ui/kindck/kindck-send-object1.rs @@ -0,0 +1,32 @@ +// Test which object types are considered sendable. This test +// is broken into two parts because some errors occur in distinct +// phases in the compiler. See kindck-send-object2.rs as well! + +fn assert_send<T:Send+'static>() { } +trait Dummy { } + +// careful with object types, who knows what they close over... +fn test51<'a>() { + assert_send::<&'a dyn Dummy>(); + //~^ ERROR `(dyn Dummy + 'a)` cannot be shared between threads safely [E0277] +} +fn test52<'a>() { + assert_send::<&'a (dyn Dummy + Sync)>(); +} + +// ...unless they are properly bounded +fn test60() { + assert_send::<&'static (dyn Dummy + Sync)>(); +} +fn test61() { + assert_send::<Box<dyn Dummy + Send>>(); +} + +// closure and object types can have lifetime bounds which make +// them not ok +fn test_71<'a>() { + assert_send::<Box<dyn Dummy + 'a>>(); + //~^ ERROR `(dyn Dummy + 'a)` cannot be sent between threads safely +} + +fn main() { } |