...an access made via lvalue whose address is freshly visibly derived from one of a particular type should be recognized as
being an access of that type in cases where the latter would be defined, but left the meaning of "freshly visibly derived" as a Quality of Implementation issue, that would be much more workable for programmers and most compiler writers alike, at least for people who aren't having to maintain compilers whose front-ends strip out information necessary to support such constructs. —
supercat 16 secs ago