ResultInfo class should be used to make attribution code transparent w.r.t. check logic being used Reviewed-by: jjg, dlsmith
Types.rewriteQuantifiers() does not work well with recursive type-variable bounds Reviewed-by: jjg