f5dd0bab3f
Types.rewriteQuantifiers() does not work well with recursive type-variable bounds Reviewed-by: jjg
Types.rewriteQuantifiers() does not work well with recursive type-variable bounds Reviewed-by: jjg