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