aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-04-29 08:45:37 +0100
committerGitHub <[email protected]>2021-04-29 08:45:37 +0100
commit80bee14e14f67f02746befff77a8a4bbfd3e5849 (patch)
tree9f211591a2055c4820de7b92f5ad7d1aeb06a607 /editors
parentdce0d71b18ed78f55989d2a7462ae1d8df10e14f (diff)
parent78f1583bdd0cc3d7adb65be6441db52e75e17060 (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