1 General [intro]

1.3 Terms and definitions [intro.defs]

1.3.10 dynamic type [defns.dynamic.type.prvalue]

⟨prvalue⟩ static type of the prvalue expression