Chris Willmore df9136e0e0 When unifying two type variables, make sure the new representative type ...

variable has the must-be-materializable bit set if the old one does.
When assigning a fixed type to a type variable that must be
materializable, transfer the bit to any type variables within the fixed
type, as appropriate.

Add Options field to SavedTypeVariableBinding to save/restore type
variable options during solution.

<rdar://problem/21026806> Propagate MustBeMaterializable bit among type variables appropriately

Swift SVN r28883

2015-05-21 19:53:48 +00:00

162 KiB

Raw Blame History

View Raw