diff options
| author | Jacob Pratt <jacob@jhpratt.dev> | 2024-02-29 05:25:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-29 05:25:28 -0500 |
| commit | 23351388d094e6f0280ca2bc9a63f98ce50ca2e7 (patch) | |
| tree | 379d80710ff2319b5a5975fd3ac33c2fcc7dd9e6 /compiler/rustc_pattern_analysis/src | |
| parent | 69716291c365cfa59f3ca3fcbd4c81fa837dfe80 (diff) | |
| parent | 75e15f7cf4e55ed9572781930ee8babcaa256a47 (diff) | |
| download | rust-23351388d094e6f0280ca2bc9a63f98ce50ca2e7.tar.gz rust-23351388d094e6f0280ca2bc9a63f98ce50ca2e7.zip | |
Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=lcnr
Deeply normalize obligations in `refining_impl_trait` We somewhat awkwardly use semantic comparison when checking the `refining_impl_trait` lint. This relies on us being able to normalize bounds eagerly to avoid cases where an unnormalized alias is not considered equal to a normalized alias. Since `normalize` in the new solver is a noop, let's use `deeply_normalize` instead. r? lcnr cc ``@tmandry,`` this should fix your bug lol
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions