Slava Pestov 65edce7591 Sema: Add FunctionInput and FunctionResult constraints ...

These are temporary.

FunctionInput is conditional on fixing some ranking behavior to not
depend on type variables having argument tuples bound to them.
Hopefully we can replace TVO_PreferSubtypeBinding with a better
mechanism that compares overload types instead.

FunctionResult is used in CSDiag's contextual type diagnostics.
This is also on the chopping block.

2018-08-28 14:37:57 -07:00

209 KiB

Raw Blame History

View Raw