diff options
author | Florian Diebold <[email protected]> | 2020-07-10 18:14:33 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-07-12 14:37:32 +0100 |
commit | 8a72e40ca91cc51a93b8145582feaccb7254abb6 (patch) | |
tree | b01fcbf7c9cc0a4836e080c1f59b149a60871a0c /crates/ra_arena/src | |
parent | 70d1b848eb1b8e2c463040be205ee52757a0e19c (diff) |
Fix #4966
We add a level of binders when converting our function pointer to Chalk's; we
need to remove it again on the way back.
Diffstat (limited to 'crates/ra_arena/src')
0 files changed, 0 insertions, 0 deletions