7175911: Simplify error reporting API in Check.CheckContext interfaceSummary: Make error messages generated during Check.checkType more uniform and more scalableReviewed-by: jjg, dlsmith
7151492: Encapsulate check logic into Attr.ResultInfoSummary: ResultInfo class should be used to make attribution code transparent w.r.t. check logic being usedReviewed-by: jjg, dlsmith
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