diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-29 07:45:37 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-29 07:45:37 +0000 |
| commit | 80bee14e14f67f02746befff77a8a4bbfd3e5849 (patch) | |
| tree | 9f211591a2055c4820de7b92f5ad7d1aeb06a607 /docs/dev/syntax.md | |
| parent | dce0d71b18ed78f55989d2a7462ae1d8df10e14f (diff) | |
| parent | 78f1583bdd0cc3d7adb65be6441db52e75e17060 (diff) | |
| download | rust-80bee14e14f67f02746befff77a8a4bbfd3e5849.tar.gz rust-80bee14e14f67f02746befff77a8a4bbfd3e5849.zip | |
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 <comonad@foxmail.com>
Diffstat (limited to 'docs/dev/syntax.md')
0 files changed, 0 insertions, 0 deletions