about summary refs log tree commit diff
path: root/src/test
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2022-07-18 03:07:26 +0000
committerbors <bors@rust-lang.org>2022-07-18 03:07:26 +0000
commit2fa64d0e53c15e1920bd394500da010a4cdd057b (patch)
treead1c97bada3d68c27d1c3db7e04108d6ed6beda0 /src/test
parente1d9a202fc97301c4abadf707d7ee62432d02c1c (diff)
parenta479f23f376eb3acc363ab743b3d2db40ad3f336 (diff)
downloadrust-2fa64d0e53c15e1920bd394500da010a4cdd057b.tar.gz
rust-2fa64d0e53c15e1920bd394500da010a4cdd057b.zip
Auto merge of #99137 - jackh726:wf-no-infcx, r=estebank
Don't pass InferCtxt to WfPredicates

Simple cleanup. Infer vars will get passed up as obligations and shallowed resolved later. This actually improves one test output.
Diffstat (limited to 'src/test')
-rw-r--r--src/test/ui/issues/issue-98299.stderr11
1 files changed, 8 insertions, 3 deletions
diff --git a/src/test/ui/issues/issue-98299.stderr b/src/test/ui/issues/issue-98299.stderr
index a61bffa91e7..fd905392a21 100644
--- a/src/test/ui/issues/issue-98299.stderr
+++ b/src/test/ui/issues/issue-98299.stderr
@@ -1,8 +1,13 @@
-error[E0282]: type annotations needed
-  --> $DIR/issue-98299.rs:4:5
+error[E0282]: type annotations needed for `SmallCString<N>`
+  --> $DIR/issue-98299.rs:4:36
    |
 LL |     SmallCString::try_from(p).map(|cstr| cstr);
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type for enum `Result<SmallCString<{_: usize}>, ()>`
+   |                                    ^^^^
+   |
+help: consider giving this closure parameter an explicit type, where the the value of const parameter `N` is specified
+   |
+LL |     SmallCString::try_from(p).map(|cstr: SmallCString<N>| cstr);
+   |                                        +++++++++++++++++
 
 error: aborting due to previous error