expanded Type
Expanded type of the type alias, i.e., the full expansion of the underlying type, where all type aliases are substituted with their expanded types. If no type aliases are used in the underlying type, the expanded type is equal to the underlying type.