namespace System.Diagnostics.Contracts
{
    public static class Contract
    {
        public static void Requires<TException>(bool condition, string? userMessage)
            where TException, Exception!;
    }
}