diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-20 08:22:53 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-20 08:22:53 +0100 |
| commit | c0bcaea46652ade4259559f08368179d54d4fdd1 (patch) | |
| tree | d6f3f19a010aa8c4de653df0d2638d8fd3aa8e78 /crates/ra_hir_ty/src/tests/patterns.rs | |
| parent | efac093093f1bd598957822e9e859b33c5f13e1f (diff) | |
| parent | 45021cae551826727c32c7499c68ca48d046890f (diff) | |
Merge #4505
4505: Infer return type of loops with value breaks r=flodiebold a=ruabmbua
Creates a type variable to represent the return value of the loop.
Uses `coerce_merge_branch` on each break with the previous value, to determine the actual return value of the loop.
Resolves: https://github.com/rust-analyzer/rust-analyzer/issues/4492 , https://github.com/rust-analyzer/rust-analyzer/issues/4512
Co-authored-by: Roland Ruckerbauer <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/tests/patterns.rs')
0 files changed, 0 insertions, 0 deletions