diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-07-25 23:34:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-25 23:34:07 +0200 |
| commit | a6bf68d8d013f097ea188878963684853c2fa634 (patch) | |
| tree | a0ecc9d615138731704bb0d64f7c91d6cf3aa3b9 /compiler/rustc_interface/src/errors.rs | |
| parent | c5c0aa143c1124888b11298a79ce443ae9636bef (diff) | |
| parent | c0c2d39668be6d0633dbcb7fa19bd54ed7122587 (diff) | |
| download | rust-a6bf68d8d013f097ea188878963684853c2fa634.tar.gz rust-a6bf68d8d013f097ea188878963684853c2fa634.zip | |
Rollup merge of #113578 - compiler-errors:uncallable-sig, r=b-naber
Don't say that a type is uncallable if its fn signature has errors in it This is fallout from #106309, where we don't consider param-env candidates that reference errors because they unify with everything. This means, however, that we don't consider an APIT like `impl Fn(MissingType)` isn't considered to implement `Fn`, for example. We can double-check that with a weaker heuristic [`extract_callable_info`](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_typeck/fn_ctxt/struct.FnCtxt.html#method.extract_callable_info), and suppress the knock-down error using that. Fixes #113566
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions
