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

David Zarzycki dave at znu.io
Sat Sep 23 14:39:15 CDT 2017


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?


More information about the swift-dev mailing list