SPRAC71A March 2019 – February 2020
Catch descriptors and FESPEC descriptors (Section 9.7.5) encode type identifiers to be used in matching the type of thrown objects against catch clauses and exception specifications. These fields are encoded to reference the type_info object corresponding to the specified type.