Florian Diebold 34a3bc4196 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.
2021-05-23 13:00:14 +02:00
..
2021-05-23 13:00:14 +02:00
2021-04-30 11:52:31 +03:00
2021-05-05 22:55:12 +02:00
2021-05-08 23:14:08 +02:00
2021-05-10 20:05:32 +02:00