aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-05-23 12:00:14 +0100
committerFlorian Diebold <[email protected]>2021-05-23 12:00:14 +0100
commit34a3bc4196db302ea5b31c51b6d555336965be5f (patch)
treef5de0f14403a7ff9df56abbfb347c651ade11a92 /.gitignore
parenta5d85a6356dc761d047f46bf04eae09dc9ab80f9 (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