diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2021-08-23 23:34:04 +0200 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2021-08-24 00:00:56 +0200 |
| commit | 7b0e564e7cd3bebea7c41165db42a7b15010d2cc (patch) | |
| tree | 24fe03775509f26642b06700abc2b95a6a24ae44 /src/test | |
| parent | 820e2680ec2f7f5f1b42dc94374986d251a22aff (diff) | |
| download | rust-7b0e564e7cd3bebea7c41165db42a7b15010d2cc.tar.gz rust-7b0e564e7cd3bebea7c41165db42a7b15010d2cc.zip | |
Update NLL HRTB type ascription blessed expectations
Some of these tests have reached parity with the migrate-mode output.
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/hrtb/due-to-where-clause.nll.stderr | 8 | ||||
| -rw-r--r-- | src/test/ui/hrtb/hrtb-cache-issue-54302.nll.stderr | 8 | ||||
| -rw-r--r-- | src/test/ui/hrtb/hrtb-just-for-static.nll.stderr | 7 | ||||
| -rw-r--r-- | src/test/ui/issues/issue-54302.nll.stderr | 8 |
4 files changed, 5 insertions, 26 deletions
diff --git a/src/test/ui/hrtb/due-to-where-clause.nll.stderr b/src/test/ui/hrtb/due-to-where-clause.nll.stderr deleted file mode 100644 index 90803a0adb0..00000000000 --- a/src/test/ui/hrtb/due-to-where-clause.nll.stderr +++ /dev/null @@ -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 - diff --git a/src/test/ui/hrtb/hrtb-cache-issue-54302.nll.stderr b/src/test/ui/hrtb/hrtb-cache-issue-54302.nll.stderr deleted file mode 100644 index 4de35d70c30..00000000000 --- a/src/test/ui/hrtb/hrtb-cache-issue-54302.nll.stderr +++ /dev/null @@ -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 - diff --git a/src/test/ui/hrtb/hrtb-just-for-static.nll.stderr b/src/test/ui/hrtb/hrtb-just-for-static.nll.stderr index a812282def9..17d59bb321a 100644 --- a/src/test/ui/hrtb/hrtb-just-for-static.nll.stderr +++ b/src/test/ui/hrtb/hrtb-just-for-static.nll.stderr @@ -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 diff --git a/src/test/ui/issues/issue-54302.nll.stderr b/src/test/ui/issues/issue-54302.nll.stderr deleted file mode 100644 index e68de031282..00000000000 --- a/src/test/ui/issues/issue-54302.nll.stderr +++ /dev/null @@ -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 - |