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 /docs/dev/README.md | |
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 'docs/dev/README.md')
0 files changed, 0 insertions, 0 deletions