val description: Translatable
Describes what assertion the type transformation represents, e.g. is a in case of a down cast.
is a