diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2023-11-26 12:54:52 +0100 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2023-12-09 00:40:00 +0100 |
| commit | 1978168c136ba65b8da3f5a45834631c13d7c56f (patch) | |
| tree | 16fc9977dffbf0b434a2cfb5f7420f5c4139dd3a /compiler/rustc_pattern_analysis/src | |
| parent | 2186f98f16242545e09a4996e675738e3bf9209b (diff) | |
| download | rust-1978168c136ba65b8da3f5a45834631c13d7c56f.tar.gz rust-1978168c136ba65b8da3f5a45834631c13d7c56f.zip | |
Detect cycles in `InhabitedPredicate::apply`
This is for post-monomorphization cycles. These are only caught later (in drop elaboration for the example that I saw), so we need to handle them here. This issue wasn't noticed before because exhaustiveness only checked inhabitedness when `exhaustive_patterns` was on. The preceding commit now check inhabitedness always, which revealed the problem.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions