Contract.Requires needs to be more customizable

[M-Zuber]

Currently the method looks like this:

public static void Requires<TException>(bool predicate, string message = "")
  where TException : Exception, new()
{
  if (!predicate)
  {
    Debug.WriteLine(message);
    throw new TException();
  }
}

It should be possible to return the message passed in.

The possible options include (among others):

• Always return an AggregateException with the InnerException set to TException
  • What do you do if the message is null?

• Always return an ArgumentException which might look like this:

  public static void Requires(bool predicate, string message = "")
  {
  if (!predicate)
  {
    Debug.WriteLine(message);
    throw new ArgumentException(message);
  }
  }

  • This does not allow you to be more explicit about the actual Exception type (which provides additional context)
• Take inspiration from here

[M-Zuber]

Closed w/ #91