Description
A new API needs to be introduced in TypeManagerService to check for sub-types, as discussed in #752 (comment).
Draft design:
public boolean isSubType(String fileName, Type sourceType, Type targetType)
Note: Type - definition yet to be finalized
Version
No response