Pavel Yaskevich 43ca7dfff9 [CSOptimizer] Simplify handling of non-applied disjunctions ...

If a disjunction doesn't have an application, let's prefer
it if it's passed as an argument to an operator application
or involved in a member chain, in such situations attempting
a disjunction could provide context to parent call/member chain.

If disjunction is passed as an unapplied reference to some
parameter i.e. `<base>.map(String.init(describing:))` we don't
favor it for now because optimizer cannot do enough checking
to determine whether preferring such disjunction would help
make forward progress in solving by pruning some space or
providing additional context.

2024-12-17 16:44:06 -08:00

45 KiB

Raw Blame History

View Raw