tree 80434681121edfd05c4bcc16d46ceba92eaaae9a
parent 641589bf8cd214ea45b4ad061c40ce344b9fa680
author Bob Nystrom <rnystrom@google.com> 1496960837 -0700
committer Bob Nystrom <rnystrom@google.com> 1496960837 -0700

Allow assignment inside the promoted scope.

Clarify that when that happens, the assignment is checked (statically
and dynamically for implicit downcasts) against the promoted type.