isConcreteTypeWithAllActualKClasses

A concrete type is a simple type or a parametrized type. See https://kotlinlang.org/spec/type-system.html#type-kinds for its definition.