This records some information during assignability checking why a pair of types is considered non-assignable and adds this information to the trace. One still needs to correlate the type ids with the actual type definitions in most cases, but in many cases even this little bit of information will probably help. involved in the rejection), but that is not
This records some information during assignability checking why a pair of types is considered non-assignable and adds this information to the trace. One still needs to correlate the type ids with the actual type definitions in most cases, but in many cases even this little bit of information will probably help. involved in the rejection), but that is not