3
Terms and definitions
[intro.defs]
3.11
[defns.dynamic.type.prvalue]
dynamic type
⟨prvalue⟩ static type of the prvalue expression