YQL-21307: Suppress invalid application on PartialTypeCheck

Added the `ExpandApplyUniversal` pass for partial type annotation.

A binding can be resolved to a  lambda during a full typecheck,
but during a partial typecheck,  a module resolver is limited and
can return a universal value.

A series of the `ExpandApply` applications can lead to some
arguments being discarded, e.g. `(Apply (lambda '(a b) a) X Y)`
discards `Y` during a full typecheck, but not partial, so
arguments at `(Apply (InstanceOf (UniversalType)) X Y)` are
type checked, and so partial type check had a greater recall.
commit_hash:7573df489129be47aa66d74d0f4b96086166c3ba

0 files changed, 0 insertions, 0 deletions