Pavel Yaskevich 90224bf927 [Typechecker/OpenedExistentials] NFC: Extract some checks from canOpenExistentialCallArgument into a separate function ...

Some of the logic of `canOpenExistentialCallArgument` has to be
shared with constraint optimizer which does it's own validation
and most importantly - doesn't open overload choice type.

In order to share the logic between the solver and the optimizer,
let's extract checking that determines whether it's possible to
open existential argument into `canOpenExistentialAt`.

2025-08-14 13:58:01 -07:00

34 KiB

Raw Permalink Blame History

View Raw