diff options
| author | bors <bors@rust-lang.org> | 2024-02-19 22:04:58 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-02-19 22:04:58 +0000 |
| commit | 0395fa387ad4de63ea1b36703ca0d65017b8c2dc (patch) | |
| tree | 5d7871164bcaed51163482cdb7c0ca83b0179b79 /compiler/rustc_pattern_analysis/src | |
| parent | 3246e79513cb89ddbfc0f21cb5a877e5b321dcc5 (diff) | |
| parent | 54b3c8759ad875be52d62c388c3766aaed0e4c64 (diff) | |
| download | rust-0395fa387ad4de63ea1b36703ca0d65017b8c2dc.tar.gz rust-0395fa387ad4de63ea1b36703ca0d65017b8c2dc.zip | |
Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU
deduplicate infer var instantiation Having 3 separate implementations of one of the most subtle parts of our type system is not a good strategy if we want to maintain a sound type system :sparkles: while working on this I already found some subtle bugs in the existing code, so that's awesome :tada: cc #121159 This was necessary as I am not confident in my nll changes in #119106, so I am first cleaning this up in a separate PR. r? `@BoxyUwU`
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions