diff options
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.rs | 25 |
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 -} |