Explicit type syntax attached to a declaration, parameter, property, or return value for static checking.