summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/auto-trait-leakage2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/auto-trait-leakage2.rs')
-rw-r--r--src/test/ui/type-alias-impl-trait/auto-trait-leakage2.rs25
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/type-alias-impl-trait/auto-trait-leakage2.rs b/src/test/ui/type-alias-impl-trait/auto-trait-leakage2.rs
deleted file mode 100644
index fc89b0e87..000000000
--- a/src/test/ui/type-alias-impl-trait/auto-trait-leakage2.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-#![feature(type_alias_impl_trait)]
-#![allow(dead_code)]
-
-mod m {
- use std::rc::Rc;
-
- type Foo = impl std::fmt::Debug; //~ NOTE appears within the type
- //~^ within this `Foo`
- //~| expansion of desugaring
-
- pub fn foo() -> Foo {
- Rc::new(22_u32)
- }
-}
-
-fn is_send<T: Send>(_: T) {}
-//~^ required by this bound
-//~| required by a bound
-
-fn main() {
- is_send(m::foo());
- //~^ ERROR: `Rc<u32>` cannot be sent between threads safely [E0277]
- //~| NOTE cannot be sent
- //~| NOTE required by a bound
-}