Slava Pestov eed84abda9 Sema: Add TVO_CanBindToNoEscape ...

We have a systemic class of issues where noescape types end up bound to
type variables in places that should not. The existing diagnostic for
this is ad-hoc and duplicated in several places but it doesn't actually
address the root cause of the problem.

For now, I've changed all call sites of createTypeVariable() to set the
new flag. I plan on removing enough occurrences of the flag to replicate
the old diagnostics. Then we can continue to refine this over time.

2019-04-16 23:01:33 -04:00

255 KiB

Raw Blame History

View Raw