updatePossibleSubtypes

open fun updatePossibleSubtypes(types: List<Type>)