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_hir_ty/src/infer.rs | |
| 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_hir_ty/src/infer.rs')
0 files changed, 0 insertions, 0 deletions