diff options
| author | Florian Diebold <[email protected]> | 2021-04-05 21:32:58 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-05 22:00:50 +0100 |
| commit | 1ae967bf8e01262f1ace1c06f6670f09fcf92fd2 (patch) | |
| tree | db440a2bdd6148bc292bd20397f389671f8cb48c /docs | |
| parent | edc59d897d56815e8b9814cdc4ff084100e4f3b4 (diff) | |
Fix shifting of binders in FnPointer
- don't shift in/out for Chalk mapping (we want to have the same
binders now)
- do shift in when creating the signature for a closure (though it
shouldn't matter much)
- do shift in when lowering a `fn()` type
- correctly deal with the implied binder in TypeWalk
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions