diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-06 14:19:06 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-12-06 14:19:06 +0000 |
| commit | a25e8cff6755c1a0c46ee3690dcd75b641c0b3e4 (patch) | |
| tree | 891cf4be4893c79598800928e7c0b669d9d2a9c2 /crates/ra_hir_ty/src/infer/pat.rs | |
| parent | d2b210a02e3e8ee1cf38909411fa8945aec99f4e (diff) | |
| parent | f86fe3d891ab295e9e394a1338da86524a6205d3 (diff) | |
Merge #2487
2487: Don't unify within a reference r=matklad a=flodiebold
If we are expecting a `&Foo` and get a `&something`, when checking the `something`, we are *expecting* a `Foo`, but we shouldn't try to unify whatever we get with that expectation, because it could actually be a `&Foo`, and `&&Foo` coerces to `&Foo`. So this fixes quite a few false type mismatches.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/infer/pat.rs')
0 files changed, 0 insertions, 0 deletions