isValidlyDerivedFrom

open override fun isValidlyDerivedFrom(base: ResolvedType, asRestriction: Boolean): Boolean(source)

3.4.6.5 Type derivation ok (complex)