diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-29 08:45:37 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-04-29 08:45:37 +0100 |
commit | 80bee14e14f67f02746befff77a8a4bbfd3e5849 (patch) | |
tree | 9f211591a2055c4820de7b92f5ad7d1aeb06a607 /editors | |
parent | dce0d71b18ed78f55989d2a7462ae1d8df10e14f (diff) | |
parent | 78f1583bdd0cc3d7adb65be6441db52e75e17060 (diff) |
Merge #8687
8687: fix: closure unify without check ClosureId r=lnicola a=komonad
Previously, the unification of closure types is blocked by `Ty.equals_ctor` which compares the ClosureId of the closures. Here is a workaround to allow closures to unify their substitutions.
Fixes #8604.
Co-authored-by: Comonad <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions