diff options
author | Florian Diebold <[email protected]> | 2021-05-23 12:00:14 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-05-23 12:00:14 +0100 |
commit | 34a3bc4196db302ea5b31c51b6d555336965be5f (patch) | |
tree | f5de0f14403a7ff9df56abbfb347c651ade11a92 /assets | |
parent | a5d85a6356dc761d047f46bf04eae09dc9ab80f9 (diff) |
Paper over #8931 a bit more
The problem was the skipping of binders in
`resolve_method_call_as_callable`; this still doesn't use the _correct_
substitution, but at least it doesn't return a type with free variables
in it.
Fixes #8931.
Diffstat (limited to 'assets')
0 files changed, 0 insertions, 0 deletions