diff options
| author | bors <bors@rust-lang.org> | 2024-02-19 15:48:21 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-02-19 15:48:21 +0000 |
| commit | 02438348b9c26c0d657cc7b990fd1f45a8c0c736 (patch) | |
| tree | 4ed473e23b0eebaf622f86dca572f71fd478ef1f /compiler/rustc_pattern_analysis/src | |
| parent | e29a1530f670d66f617f7aac8601920a87263ac6 (diff) | |
| parent | 0c7672a5322ad9de365e383b4f6235a9a6dce5aa (diff) | |
| download | rust-02438348b9c26c0d657cc7b990fd1f45a8c0c736.tar.gz rust-02438348b9c26c0d657cc7b990fd1f45a8c0c736.zip | |
Auto merge of #120463 - lcnr:eager-inference-replacement, r=compiler-errors
some trait system cleanups Always eagerly replace projections with infer vars if normalization is ambig. Unsure why we previously didn't do so, wasn't able to find an explanation in #90887. This adds some complexity to the trait system and is afaict unnecessary. The second commit simplifies `pred_known_to_hold_modulo_regions`, afaict the optional `fulfill` isn't necessary anymore. r? types cc `@jackh726`
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions