Static type
= Static type
The type assigned to a program expression during type checking. It controls which members and overloads are available at that expression. A reference with a broad <static type> can designate an object with a narrower <runtime type>; that does not expose additional overloads through the broad reference.