Hamish Knight ebad04f133 [CS] Avoid increasing score for unbound outer type vars for completion ...

When doing code completion it's entirely expected we'll end up with 
ambiguities in the body of a closure if we're completing e.g
`someOverloadedFn(#^CC^#)`. As such we don't want to penalize the
solution for unbound type variables outside of the body since that 
will prevent us from being able to eagerly prune e.g disfavored
overloads in the outer scope. This gives up to a 7% perf win in the
stress tester.

2025-09-01 10:56:45 +01:00

36 KiB

Raw Permalink Blame History

View Raw