Recent improvements to the Swift type checker (via snej) — discussion

#plt #swift