7002070: If catch clause has an incompatible type, error pointer points to first exception type in listSummary: Attribution should check each component of a disjunctive type separately, rather than checking the corresponding lub()Reviewed-by: jjg