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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions