diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-10-25 17:40:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-25 17:40:29 +0200 |
| commit | 96074bec97bee042af25442558375aafb1af16f5 (patch) | |
| tree | fd2fccb5868b4bc3cbf5b1ad0918e3bcfc6b490d /compiler/rustc_parse/src/errors.rs | |
| parent | 75efc4fd9e8aaf2d587be2f7f853b52ba5852e1d (diff) | |
| parent | a947654a96651e3acc911fe202907b283cd2ed5b (diff) | |
| download | rust-96074bec97bee042af25442558375aafb1af16f5.tar.gz rust-96074bec97bee042af25442558375aafb1af16f5.zip | |
Rollup merge of #117133 - compiler-errors:coherence-constrained, r=oli-obk
Merge `impl_wf_inference` (`check_mod_impl_wf`) check into coherence checking Problem here is that we call `collect_impl_trait_in_trait_types` when checking `check_mod_impl_wf` which is performed before coherence. Due to the `tcx.sess.track_errors`, since we end up reporting an error, we never actually proceed to coherence checking, where we would be emitting a more useful impl overlap error. This change means that we may report more errors in some cases, but can at least proceed far enough to leave a useful message for overlapping traits with RPITITs in them. Fixes #116982 r? types
Diffstat (limited to 'compiler/rustc_parse/src/errors.rs')
0 files changed, 0 insertions, 0 deletions