坑爹的ASP.Net MVC3 RedirectResult

他代码是这样写的:

[SuppressMessage("Microsoft.Design", "CA1054:UriParametersShouldNotBeStrings", MessageId = "0#", 
Justification = "Response.Redirect() takes its URI as a string parameter.")]
public RedirectResult(string url, bool permanent) {
    if (String.IsNullOrEmpty(url)) {
        throw new ArgumentException(MvcResources.Common_NullOrEmpty, "url");
    }

    Permanent = permanent;
    Url = url;
}

然后metadata里的注释写的是:

// Summary:

//     Initializes a new instance of the System.Web.Mvc.RedirectResult class.

//

// Parameters:

//   url:

//     The target URL.

//

// Exceptions:

//   System.ArgumentNullException:

//     The url parameter is null.

public RedirectResult(string url);

我就呵呵了,不是说好的只有在url是null的时候抛ArgumentNullException么,为啥连string.Empty也抛?