updatePossibleSubtypes

open override fun updatePossibleSubtypes(types: List<Type>)