Closed reckart closed 3 years ago
Is your feature request related to a problem? Please describe. E.g. to check if a type subsumes another type, I need the type system - but I cannot access the type system from the type.
typesystem.subsumes(parent_name=AnnotationBase.name, child_name=type_.name)
Describe the solution you'd like
AnnotationBase.typesystem.subsumes(parent=AnnotationBase, child=otherType)
or even
AnnotationBase.subsumes(otherType) # otherType could be a name or Type object
Is your feature request related to a problem? Please describe. E.g. to check if a type subsumes another type, I need the type system - but I cannot access the type system from the type.
Describe the solution you'd like
or even