mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove some annotations that just specify the default

Browse Source
This commit is contained in:
Oli Scherer 2024-02-22 16:56:26 +00:00
parent e4622e0608
commit 1efb7479ef
4 changed files with 13 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/ui/rfcs/impl-trait/higher-ranked-regions-diag.rs
View File

@ -1,8 +1,6 @@
// Regression test for #97099. // Regression test for #97099.
// This was an ICE because `impl Sized` captures the lifetime 'a. // This was an ICE because `impl Sized` captures the lifetime 'a.
// check-fail
trait Trait<E> { trait Trait<E> {
type Assoc; type Assoc;
} }

2
tests/ui/rfcs/impl-trait/higher-ranked-regions-diag.stderr
View File

@ -1,5 +1,5 @@
error[E0700]: hidden type for `impl Sized` captures lifetime that does not appear in bounds error[E0700]: hidden type for `impl Sized` captures lifetime that does not appear in bounds
--> $DIR/higher-ranked-regions-diag.rs:21:5 --> $DIR/higher-ranked-regions-diag.rs:19:5
| |
LL | fn bar() -> impl for<'a> Trait<&'a (), Assoc = impl Sized> { LL | fn bar() -> impl for<'a> Trait<&'a (), Assoc = impl Sized> {
| -- ---------- opaque type defined here | -- ---------- opaque type defined here

2
tests/ui/rfcs/type-alias-impl-trait/higher-ranked-regions-basic.rs
View File

@ -1,7 +1,5 @@
// Basic tests for opaque type inference under for<_> binders. // Basic tests for opaque type inference under for<_> binders.
// check-fail
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]
trait Trait<'a> { trait Trait<'a> {

24
tests/ui/rfcs/type-alias-impl-trait/higher-ranked-regions-basic.stderr
View File

@ -1,5 +1,5 @@
error[E0792]: expected generic lifetime parameter, found `'a` error[E0792]: expected generic lifetime parameter, found `'a`
--> $DIR/higher-ranked-regions-basic.rs:17:55 --> $DIR/higher-ranked-regions-basic.rs:15:55
| |
LL | type Opq<'a> = impl Sized + 'a; LL | type Opq<'a> = impl Sized + 'a;
| -- this generic parameter must be used with a generic lifetime parameter | -- this generic parameter must be used with a generic lifetime parameter
@ -7,7 +7,7 @@ LL | fn test() -> impl for<'a> Trait<'a, Ty = Opq<'a>> {}
| ^^ | ^^
error[E0700]: hidden type for `impl Sized` captures lifetime that does not appear in bounds error[E0700]: hidden type for `impl Sized` captures lifetime that does not appear in bounds
--> $DIR/higher-ranked-regions-basic.rs:23:58 --> $DIR/higher-ranked-regions-basic.rs:21:58
| |
LL | fn test() -> impl for<'a> Trait<'a, Ty = impl Sized> {} LL | fn test() -> impl for<'a> Trait<'a, Ty = impl Sized> {}
| -- ---------- ^^ | -- ---------- ^^
@ -16,7 +16,7 @@ LL | fn test() -> impl for<'a> Trait<'a, Ty = impl Sized> {}
| hidden type `&'a ()` captures the lifetime `'a` as defined here | hidden type `&'a ()` captures the lifetime `'a` as defined here
error[E0700]: hidden type for `capture_tait::Opq0` captures lifetime that does not appear in bounds error[E0700]: hidden type for `capture_tait::Opq0` captures lifetime that does not appear in bounds
--> $DIR/higher-ranked-regions-basic.rs:32:23 --> $DIR/higher-ranked-regions-basic.rs:30:23
| |
LL | type Opq0 = impl Sized; LL | type Opq0 = impl Sized;
| ---------- opaque type defined here | ---------- opaque type defined here
@ -27,7 +27,7 @@ LL | fn test() -> Opq2 {}
| ^^ | ^^
error[E0792]: expected generic lifetime parameter, found `'a` error[E0792]: expected generic lifetime parameter, found `'a`
--> $DIR/higher-ranked-regions-basic.rs:41:23 --> $DIR/higher-ranked-regions-basic.rs:39:23
| |
LL | type Opq1<'a> = impl for<'b> Trait<'b, Ty = Opq0<'b>>; // <- Note 'b LL | type Opq1<'a> = impl for<'b> Trait<'b, Ty = Opq0<'b>>; // <- Note 'b
| -- this generic parameter must be used with a generic lifetime parameter | -- this generic parameter must be used with a generic lifetime parameter
@ -36,7 +36,7 @@ LL | fn test() -> Opq2 {}
| ^^ | ^^
error[E0700]: hidden type for `capture_tait_complex_fail::Opq0<'a>` captures lifetime that does not appear in bounds error[E0700]: hidden type for `capture_tait_complex_fail::Opq0<'a>` captures lifetime that does not appear in bounds
--> $DIR/higher-ranked-regions-basic.rs:51:23 --> $DIR/higher-ranked-regions-basic.rs:49:23
| |
LL | type Opq0<'a> = impl Sized; LL | type Opq0<'a> = impl Sized;
| ---------- opaque type defined here | ---------- opaque type defined here
@ -47,19 +47,19 @@ LL | fn test() -> Opq2 {}
| ^^ | ^^
error[E0792]: non-defining opaque type use in defining scope error[E0792]: non-defining opaque type use in defining scope
--> $DIR/higher-ranked-regions-basic.rs:59:41 --> $DIR/higher-ranked-regions-basic.rs:57:41
| |
LL | fn test() -> impl for<'a> Trait<'a, Ty = Opq0<'a, 'static>> {} LL | fn test() -> impl for<'a> Trait<'a, Ty = Opq0<'a, 'static>> {}
| ^^^^^^^^^^^^^^^^^^^^^^ argument `'static` is not a generic parameter | ^^^^^^^^^^^^^^^^^^^^^^ argument `'static` is not a generic parameter
| |
note: for this opaque type note: for this opaque type
--> $DIR/higher-ranked-regions-basic.rs:58:25 --> $DIR/higher-ranked-regions-basic.rs:56:25
| |
LL | type Opq0<'a, 'b> = impl Sized; LL | type Opq0<'a, 'b> = impl Sized;
| ^^^^^^^^^^ | ^^^^^^^^^^
error[E0792]: expected generic lifetime parameter, found `'a` error[E0792]: expected generic lifetime parameter, found `'a`
--> $DIR/higher-ranked-regions-basic.rs:59:65 --> $DIR/higher-ranked-regions-basic.rs:57:65
| |
LL | type Opq0<'a, 'b> = impl Sized; LL | type Opq0<'a, 'b> = impl Sized;
| -- this generic parameter must be used with a generic lifetime parameter | -- this generic parameter must be used with a generic lifetime parameter
@ -67,19 +67,19 @@ LL | fn test() -> impl for<'a> Trait<'a, Ty = Opq0<'a, 'static>> {}
| ^^ | ^^
error: non-defining opaque type use in defining scope error: non-defining opaque type use in defining scope
--> $DIR/higher-ranked-regions-basic.rs:68:41 --> $DIR/higher-ranked-regions-basic.rs:66:41
| |
LL | fn test() -> impl for<'a> Trait<'a, Ty = Opq0<'a, 'a>> {} LL | fn test() -> impl for<'a> Trait<'a, Ty = Opq0<'a, 'a>> {}
| ^^^^^^^^^^^^^^^^^ generic argument `'a` used twice | ^^^^^^^^^^^^^^^^^ generic argument `'a` used twice
| |
note: for this opaque type note: for this opaque type
--> $DIR/higher-ranked-regions-basic.rs:67:25 --> $DIR/higher-ranked-regions-basic.rs:65:25
| |
LL | type Opq0<'a, 'b> = impl Sized; LL | type Opq0<'a, 'b> = impl Sized;
| ^^^^^^^^^^ | ^^^^^^^^^^
error[E0792]: expected generic lifetime parameter, found `'a` error[E0792]: expected generic lifetime parameter, found `'a`
--> $DIR/higher-ranked-regions-basic.rs:68:60 --> $DIR/higher-ranked-regions-basic.rs:66:60
| |
LL | type Opq0<'a, 'b> = impl Sized; LL | type Opq0<'a, 'b> = impl Sized;
| -- this generic parameter must be used with a generic lifetime parameter | -- this generic parameter must be used with a generic lifetime parameter
@ -87,7 +87,7 @@ LL | fn test() -> impl for<'a> Trait<'a, Ty = Opq0<'a, 'a>> {}
| ^^ | ^^
error[E0792]: expected generic lifetime parameter, found `'a` error[E0792]: expected generic lifetime parameter, found `'a`
--> $DIR/higher-ranked-regions-basic.rs:78:23 --> $DIR/higher-ranked-regions-basic.rs:76:23
| |
LL | type Opq1<'a> = impl for<'b> Trait<'b, Ty = Opq0<'a, 'b>>; LL | type Opq1<'a> = impl for<'b> Trait<'b, Ty = Opq0<'a, 'b>>;
| -- this generic parameter must be used with a generic lifetime parameter | -- this generic parameter must be used with a generic lifetime parameter