0408a1adae
Types.rewrite quantifiers should cope with captured type-variables properly Reviewed-by: jjg
Types.rewrite quantifiers should cope with captured type-variables properly Reviewed-by: jjg