тип выражения ([basic.types]), полученный в результате анализа программы без учета семантики выполнения
[ Note: Статический тип выражения зависит только от формы программы, в которой появляется выражение, и не изменяется во время выполнения программы. ] — end note