updatePossibleSubtypes

abstract fun updatePossibleSubtypes(types: List<Type>)