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

..

src

Paper over #8931 a bit more

2021-05-23 13:00:14 +02:00

Cargo.toml

Enable thread-local coverage marks

2021-03-15 16:02:50 +02:00