[defns.static.type] (original) (raw)

3 Terms and definitions [intro.defs]

3.60[defns.static.type]static type

type of an expression resulting from analysis of the program without considering execution semantics

[Note 1:

The static type of an expression depends only on the form of the program in which the expression appears, and does not change while the program is executing.

— _end note_]