Update test

This commit is contained in:
r0cky 2023-12-23 00:09:37 +08:00
parent 4830325a14
commit d3f466a3a7
2 changed files with 6 additions and 18 deletions

View file

@ -1,5 +1,3 @@
// issue-119209
type Foo<'a> = impl PartialEq; //~ERROR `impl Trait` in type aliases is unstable
fn main<'a>(_: &'a i32) -> Foo<'a> {} //~ERROR `main` function return type is not allowed to have generic parameters
fn main<'a>(_: &'a i32) -> &'a () { &() } //~ERROR `main` function return type is not allowed to have generic parameters

View file

@ -1,19 +1,9 @@
error[E0658]: `impl Trait` in type aliases is unstable
--> $DIR/return-ty-has-bound-vars.rs:3:16
|
LL | type Foo<'a> = impl PartialEq;
| ^^^^^^^^^^^^^^
|
= note: see issue #63063 <https://github.com/rust-lang/rust/issues/63063> for more information
= help: add `#![feature(type_alias_impl_trait)]` to the crate attributes to enable
error[E0131]: `main` function return type is not allowed to have generic parameters
--> $DIR/return-ty-has-bound-vars.rs:5:28
--> $DIR/return-ty-has-bound-vars.rs:3:28
|
LL | fn main<'a>(_: &'a i32) -> Foo<'a> {}
| ^^^^^^^
LL | fn main<'a>(_: &'a i32) -> &'a () { &() }
| ^^^^^^
error: aborting due to 2 previous errors
error: aborting due to 1 previous error
Some errors have detailed explanations: E0131, E0658.
For more information about an error, try `rustc --explain E0131`.
For more information about this error, try `rustc --explain E0131`.