namespace System
{
    [RequiresPreviewFeatures("Generic Math is in preview.", Url = "https://aka.ms/dotnet-warnings/generic-math-preview")]
    public interface IDecrementOperators<TSelf>
        where TSelf, IDecrementOperators<TSelf>!
    {
        static TSelf operator --(TSelf value);
    }
}