isValidSubtitutionFor

open override fun isValidSubtitutionFor(other: ResolvedType, asRestriction: Boolean): Boolean(source)

3.3.4.2 for complex types