Pavel Yaskevich 617338f250 [CSOptimizer] Prevent candidate inference from unresolved generic parameters and ternary expressions ...

We need to have a notion of "complete" binding set before
we can allow inference from generic parameters and ternary,
otherwise we'd make a favoring decision that might not be
correct i.e. `v ?? (<<cond>> ? nil : o)` where `o` is `Int`.
`getBindingsFor` doesn't currently infer transitive bindings
which means that for a ternary we'd only have a single
binding - `Int` which could lead to favoring overload of
`??` and has non-optional parameter on the right-hand side.

2025-06-27 23:43:11 -07:00

1.7 KiB

Raw Permalink Blame History

View Raw