5.6.16.7 Type Expressions

 type-expression = BUILTIN-TYPE / defined-type-expression  
 defined-type-expression = simple-name-expression / member-access-expression  

Static Semantics. A <defined-type-expression> performs name binding under the type binding context. A <defined-type-expression> is invalid if it is not classified as a type. A <type-expression> is classified as a type.