diff options
| author | bors <bors@rust-lang.org> | 2022-10-31 15:39:20 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-31 15:39:20 +0000 |
| commit | 07f6efc4e7302d05f31a4bde1f5bd23424ba6a45 (patch) | |
| tree | 3f2ddde3722210f3d97a6585133dfeaa9080b06d /compiler/rustc_codegen_gcc/example/std_example.rs | |
| parent | 8142d1f606dc2e52b1d2b8992671e2bd73379f28 (diff) | |
| parent | db8c7523f85d8f177b2cd9676fd97b90aeea0388 (diff) | |
| download | rust-07f6efc4e7302d05f31a4bde1f5bd23424ba6a45.tar.gz rust-07f6efc4e7302d05f31a4bde1f5bd23424ba6a45.zip | |
Auto merge of #13523 - lowr:fix/adjust-expectation-for-if, r=lnicola
fix: disregard type variable expectation for if expressions Fixes #13522 As [the comment](https://github.com/rust-lang/rust-analyzer/blob/8142d1f606dc2e52b1d2b8992671e2bd73379f28/crates/hir-ty/src/infer.rs#L1087-L1090) on `Expectation::adjust_for_branches` explains: > If the expected type is just a type variable, then don't use an expected type. Otherwise, we might write parts of the type when checking the 'then' block which are incompatible with the 'else' branch. Note that we already use it in match expressions. I've added tests for them too nevertheless.
Diffstat (limited to 'compiler/rustc_codegen_gcc/example/std_example.rs')
0 files changed, 0 insertions, 0 deletions