Field promotion

The selector rule that lets a uniquely reachable field of an embedded Go type be selected through the outer value.