diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-08-31 07:58:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-31 07:58:00 +0200 |
| commit | b8b2f88a044fdd20be4925eb222a0572f359de2f (patch) | |
| tree | 02d970e49d571307c52d391ba951b72fbb1422f3 /src/test/ui/impl-trait | |
| parent | 78e5d05ea02565ee2ecc8c394137b0ba3e86372e (diff) | |
| parent | 1256530643fdd4762de8de5a47041fc2cf700828 (diff) | |
| download | rust-b8b2f88a044fdd20be4925eb222a0572f359de2f.tar.gz rust-b8b2f88a044fdd20be4925eb222a0572f359de2f.zip | |
Rollup merge of #101100 - compiler-errors:generalize-call-suggestions, r=petrochenkov
Make call suggestions more general and more accurate
Cleans up some suggestions that have to do with adding `()` to make typeck happy.
1. Drive-by rename of `expr_t` to `base_ty` since it's the type of the `base_expr`
1. Autoderef until we get to a callable type in `suggest_fn_call`.
1. Don't erroneously suggest calling constructor when a method/field does not exist on it.
1. Suggest calling a method receiver if its function output has a method (e.g. `fn.method()` => `fn().method()`)
1. Extend call suggestions to type parameters, fn pointers, trait objects where possible
1. Suggest calling in operators too (fixes #101054)
1. Use `/* {ty} */` as argument placeholder instead of just `_`, which is confusing and makes suggestions look less like `if let` syntax.
Diffstat (limited to 'src/test/ui/impl-trait')
| -rw-r--r-- | src/test/ui/impl-trait/suggest-calling-rpit-closure.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/ui/impl-trait/suggest-calling-rpit-closure.stderr b/src/test/ui/impl-trait/suggest-calling-rpit-closure.stderr index 2a328a0e6f5..c10a856d83b 100644 --- a/src/test/ui/impl-trait/suggest-calling-rpit-closure.stderr +++ b/src/test/ui/impl-trait/suggest-calling-rpit-closure.stderr @@ -11,7 +11,7 @@ LL | fn opaque() -> impl Fn() -> i32 { | = note: expected type `i32` found opaque type `impl Fn() -> i32` -help: use parentheses to call this closure +help: use parentheses to call this opaque type | LL | opaque()() | ++ |