1
General
[intro]
1.3
Terms and definitions
[intro.defs]
1.3.8
dynamic type
[defns.dynamic.type.prvalue]
<prvalue> static type of the prvalue expression