]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 39e049d 8a72e40)
Merge #5331
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Sun, 12 Jul 2020 20:31:51 +0000 (20:31 +0000)
committerGitHub <noreply@github.com>
Sun, 12 Jul 2020 20:31:51 +0000 (20:31 +0000)
5331: Fix #4966 r=flodiebold a=flodiebold

We add a level of binders when converting our function pointer to Chalk's; we need to remove it again on the way back.

Fixes #4966.

Co-authored-by: Florian Diebold <florian.diebold@freiheit.com>
1  2 
crates/ra_hir_ty/src/traits/chalk/mapping.rs patch | diff1 | diff2 | blob | history

Empowering everyone to build reliable and efficient software.