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

Update NLL HRTB type ascription blessed expectations

Browse Source 
Some of these tests have reached parity with the migrate-mode output.
This commit is contained in:
Rémy Rakic 2021-08-23 23:34:04 +02:00
parent 820e2680ec
commit 7b0e564e7c
4 changed files with 5 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/test/ui/hrtb/due-to-where-clause.nll.stderr
View File

@ -1,8 +0,0 @@
error: higher-ranked subtype error
--> $DIR/due-to-where-clause.rs:2:5
|
LL | test::<FooS>(&mut 42);
| ^^^^^^^^^^^^
error: aborting due to previous error

8
src/test/ui/hrtb/hrtb-cache-issue-54302.nll.stderr
View File

@ -1,8 +0,0 @@
error: higher-ranked subtype error
--> $DIR/hrtb-cache-issue-54302.rs:19:5
|
LL | assert_deserialize_owned::<&'static str>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error: aborting due to previous error

7
src/test/ui/hrtb/hrtb-just-for-static.nll.stderr
View File

@ -17,11 +17,14 @@ LL | want_hrtb::<&'a u32>()
|
= help: consider replacing `'a` with `'static`
error: higher-ranked subtype error
error: implementation of `Foo` is not general enough
--> $DIR/hrtb-just-for-static.rs:30:5
|
LL | want_hrtb::<&'a u32>()
| ^^^^^^^^^^^^^^^^^^^^
| ^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
|
= note: `Foo<&'0 isize>` would have to be implemented for the type `&u32`, for any lifetime `'0`...
= note: ...but `Foo<&'1 isize>` is actually implemented for the type `&'1 u32`, for some specific lifetime `'1`
error: aborting due to 3 previous errors

8
src/test/ui/issues/issue-54302.nll.stderr
View File

@ -1,8 +0,0 @@
error: higher-ranked subtype error
--> $DIR/issue-54302.rs:13:5
|
LL | assert_deserialize_owned::<&'static str>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error: aborting due to previous error