From df8a64327ccfcb869867f41cdc6c11ee9357f7d1 Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Thu, 19 Aug 2021 10:48:20 -0300 Subject: [PATCH] Use a trait instead of the now disallowed missing trait there --- .../type-alias-impl-trait/unused_generic_param.rs | 9 +++++---- .../unused_generic_param.stderr | 14 -------------- 2 files changed, 5 insertions(+), 18 deletions(-) delete mode 100644 src/test/ui/type-alias-impl-trait/unused_generic_param.stderr diff --git a/src/test/ui/type-alias-impl-trait/unused_generic_param.rs b/src/test/ui/type-alias-impl-trait/unused_generic_param.rs index 04a5c58cd36e9..ad5e4918ccac5 100644 --- a/src/test/ui/type-alias-impl-trait/unused_generic_param.rs +++ b/src/test/ui/type-alias-impl-trait/unused_generic_param.rs @@ -1,16 +1,17 @@ +// check-pass + #![feature(type_alias_impl_trait)] +#![allow(dead_code)] fn main() {} -type PartiallyDefined = impl 'static; -//~^ ERROR: at least one trait must be specified +type PartiallyDefined = impl Sized; fn partially_defined(_: T) -> PartiallyDefined { 4u32 } -type PartiallyDefined2 = impl 'static; -//~^ ERROR: at least one trait must be specified +type PartiallyDefined2 = impl Sized; fn partially_defined2(_: T) -> PartiallyDefined2 { 4u32 diff --git a/src/test/ui/type-alias-impl-trait/unused_generic_param.stderr b/src/test/ui/type-alias-impl-trait/unused_generic_param.stderr deleted file mode 100644 index 4e11854b07189..0000000000000 --- a/src/test/ui/type-alias-impl-trait/unused_generic_param.stderr +++ /dev/null @@ -1,14 +0,0 @@ -error: at least one trait must be specified - --> $DIR/unused_generic_param.rs:5:28 - | -LL | type PartiallyDefined = impl 'static; - | ^^^^^^^^^^^^ - -error: at least one trait must be specified - --> $DIR/unused_generic_param.rs:12:29 - | -LL | type PartiallyDefined2 = impl 'static; - | ^^^^^^^^^^^^ - -error: aborting due to 2 previous errors -