Fix regression caused by 7144506 Reviewed-by: jjg, dlsmith
Unify post-inference sanity check with Attr.checkMethod Reviewed-by: jjg, dlsmith
Thrown types do not get updated after 15.12.2.8, and do not get erased as per 15.12.2.6 Reviewed-by: jjg, dlsmith