3 Terms and definitions [intro.defs]

3.25[defns.static.type]
static type

type of an expression ([basic.types]) resulting from analysis of the program without considering execution semantics
[Note
:
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
]