2020-06-05 00:35:45
— part of check-in
[077c944c02]
on branch trunk
— Verifier: handle "StoreToAddress" for addresses that point to tuple members.
(user:
achavasse
size: 437)
2020-06-20 14:32:02
— part of check-in
[c3f897359f]
on branch trunk
—
Got rid of the gross system of performing unifications twice in all cases. It's only really needed when invoking template functions.
Since the above had the unexpected side effect of fixing the tuple Initialize() overloads not being called, fixed those (which were actually broken).