[swift-dev] A constraint system / type variable question

[David Zarzycki]

Hello,

I’m trying to replace the explicit FunctionType returned by visitClosureExpr() in CSGen.cpp with a type variable; and ultimately a disjunction of two FunctionTypes with different ExtInfo flags set (one favored, one not).

After reviewing the code and making a few attempts, I haven’t been able to find a solution that works 100% of the time. Is there a good boilerplate example I should be looking at for how to make this work? How should I handle single expression closures?

Thanks,
Dave