TO_DENOTABLE_SUPERTYPE¶ TO_DENOTABLE_SUPERTYPE Every type is approximated to its closest denotable supertype, which is correct for output positions, such as return types. Locally declared types are approximated to local supertypes. Properties¶ name¶ val name: String ordinal¶ val ordinal: Int jvm