diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2021-08-19 10:48:20 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2021-08-19 10:48:20 -0300 |
| commit | df8a64327ccfcb869867f41cdc6c11ee9357f7d1 (patch) | |
| tree | b9f130948455825326edd12e013a252fe20d2705 | |
| parent | d488de82f30fd1dcb0220d57498638596622394e (diff) | |
| download | rust-df8a64327ccfcb869867f41cdc6c11ee9357f7d1.tar.gz rust-df8a64327ccfcb869867f41cdc6c11ee9357f7d1.zip | |
Use a trait instead of the now disallowed missing trait there
| -rw-r--r-- | src/test/ui/type-alias-impl-trait/unused_generic_param.rs | 9 | ||||
| -rw-r--r-- | src/test/ui/type-alias-impl-trait/unused_generic_param.stderr | 14 |
2 files changed, 5 insertions, 18 deletions
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 04a5c58cd36..ad5e4918cca 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<T> = impl 'static; -//~^ ERROR: at least one trait must be specified +type PartiallyDefined<T> = impl Sized; fn partially_defined<T: std::fmt::Debug>(_: T) -> PartiallyDefined<T> { 4u32 } -type PartiallyDefined2<T> = impl 'static; -//~^ ERROR: at least one trait must be specified +type PartiallyDefined2<T> = impl Sized; fn partially_defined2<T: std::fmt::Debug>(_: T) -> PartiallyDefined2<T> { 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 4e11854b071..00000000000 --- 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<T> = impl 'static; - | ^^^^^^^^^^^^ - -error: at least one trait must be specified - --> $DIR/unused_generic_param.rs:12:29 - | -LL | type PartiallyDefined2<T> = impl 'static; - | ^^^^^^^^^^^^ - -error: aborting due to 2 previous errors - |