tree e00471dc7d6bed601535a43e99cd446a66f53115
parent f75dd6c70408ccddca044e1b53b9fb17bb24a936
author Joe Groff <jgroff@apple.com> 1517958938 -0800
committer Joe Groff <jgroff@apple.com> 1517975093 -0800

SILGen: Open existential lvalues on entry into an OpenExistentialExpr again.

4b25945 changed codegen for lvalue OpenExistentialExprs so that the existential was not opened until the OpaqueValue's lvalue was evaluated, but this is incorrect—we need to open the dynamic type of the existential immediately since it can be used arbitrarily within the subexpression. This caused a regression when evaluating default argument generators on protocol extension methods (rdar://problem/37031037), and would become a bigger problem when we generalize the ability to open existentials.