201e76bfa6
[ConstraintSystem] Propagate a hole from function value to arguments/result
...
In diagnostic mode, propagate function value placeholder/hole to
arguments and result. This helps to avoid recording extraneous
fixes because generic parameters and leading-dot syntax arguments
cannot be inferred in this case.
2026-06-01 11:28:20 -07:00
525902a234
Same: Cache getEffectiveOverloadType() inside the BindOverload constraint
2026-03-10 10:12:57 -04:00
a40fc31358
Sema: Move getReducedType() call into getEffectiveOverloadType()
2026-03-10 10:12:57 -04:00
2763ec3a2c
Sema: Remove unused allowMembers parameter from getEffectiveOverloadType()
2026-03-10 10:12:57 -04:00
8e271c3c5a
Sema: Move getApplicableFnConstraint() from CSOptimizer.cpp to CSDisjunction.cpp
2026-02-28 14:54:07 -05:00
4e9b5da77a
Sema: Move more code to CSDisjunction.cpp
2026-02-28 14:54:07 -05:00
a4e47070c3
Sema: Move some code to CSDisjunction.cpp
...
The argument label-based pruning is similar to the type-based pruning
that I added, and I'm going to try to consolidate the duplication
a bit.
2026-02-28 14:54:07 -05:00
93583a54ee
Sema: Rename CSLookahead.cpp to CSDisjunction.cpp
2026-02-28 14:54:07 -05:00
Pavel Yaskevich
Slava Pestov