[CSOptimizer] A few improvements to inference and ranking#79309

Closed

xedin wants to merge 15 commits intoswiftlang:mainfrom

xedin:fix-inference-regressions-with-solver-perf

Commits on Feb 10, 2025

[CSOptimizer] Improve contextual result type handling during overload matching
xedin
committed
[CSOptimizer] Infer result types through ternary expressions
xedin
committed
[CSOptimizer] Infer argument candidates through optionals
xedin
committed
[CSOptimizer] Allow matching against CGFloat as a contextual result type
xedin
committed
[CSOptimizer] Infer types from init calls used as arguments
xedin
committed
[CSOptimizer] Don't reduce the ranking for non-default literal types
xedin
committed
[CSOptimizer] Add support for `??` operator
xedin
committed
[Tests] NFC: Add a test-case with literal chain passed as an argument to a constructor
xedin
committed
[CSOptimizer] Emulate old hack for unary argument matching more precisely
xedin
committed
[CSOptimizer] Always prefer a disjunction with a single active chocie
xedin
committed
[CSSolver] Attempt choices marked as disfavored at the end of partition
xedin
committed

Commits on Feb 11, 2025

Commits on Feb 12, 2025