diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-09-19 20:23:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-19 20:23:19 +0200 |
| commit | 0060db74f9530c9239b256c45dff8815667343cc (patch) | |
| tree | 8a5e4e96bf71444883122981199bddf242a8e07a /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | edd7be59dafc647e68295b12e516ac885e97de29 (diff) | |
| parent | 8fbd78ccea0e462be3d3745923d5aed8a451dc62 (diff) | |
| download | rust-0060db74f9530c9239b256c45dff8815667343cc.tar.gz rust-0060db74f9530c9239b256c45dff8815667343cc.zip | |
Rollup merge of #115801 - compiler-errors:async-cycle-mono, r=oli-obk
Detect cycle errors hidden by opaques during monomorphization Opaque types may reveal to projections, which themselves normalize to opaques. We don't currently normalize when checking that opaques are cyclical, and we may also not know that the opaque is cyclical until monomorphization (see `tests/ui/type-alias-impl-trait/mututally-recursive-overflow.rs`). Detect cycle errors in `normalize_projection_ty` and report a fatal overflow (in the old solver). Luckily, this is already detected as a fatal overflow in the new solver. Fixes #112047
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions