diff options
| author | Florian Diebold <florian.diebold@freiheit.com> | 2020-07-10 19:14:33 +0200 |
|---|---|---|
| committer | Florian Diebold <flodiebold@gmail.com> | 2020-07-12 15:37:32 +0200 |
| commit | 8a72e40ca91cc51a93b8145582feaccb7254abb6 (patch) | |
| tree | b01fcbf7c9cc0a4836e080c1f59b149a60871a0c /docs/dev/debugging.md | |
| parent | 70d1b848eb1b8e2c463040be205ee52757a0e19c (diff) | |
| download | rust-8a72e40ca91cc51a93b8145582feaccb7254abb6.tar.gz rust-8a72e40ca91cc51a93b8145582feaccb7254abb6.zip | |
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 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions