Typ var5 = this.expr.attr(var1, 12, Predef.throwableTyp);
Typ var6 = Attr.unHandled(new TypSet(var5, (TypSet)null), var1.reported);
if (var6 != null) {
Report.error(super.pos, String.valueOf(String.valueOf("unreported exception: ").concat(String.valueOf(var6))).concat(String.valueOf("; must be caught or declared to be thrown")));