CA1000 hasn't been reconsidered with static abstracts in mind

[RenderMichael]

Analyzer

Diagnostic ID: CA1000: Do not declare static members on generic types

Analyzer source

.NET 8.0.100 SDK

The pattern adopted for generic math in .NET 7, known as "Curiously recurring template pattern", violates this rule. Of course a rule like this one isn't enabled in the runtime repo, but when I tried to do the same I got this diagnostic pop up.

Steps To Reproduce

Using .NET >=7:

public interface IConfigurationFileProvider<TConfiguration>
{
    public static abstract TConfiguration FromFile(string path);
}

Expected behavior

When the member is abstract, this diagnostic should not fire.

Actual behavior

This diagnostic fires.

Additional Context

The above repro is a minimal repro, but this diagnostic still fires when using the recursive pattern:

public interface IConfigurationFileProvider<TConfiguration>
    where TConfiguration : IConfigurationFileProvider<TConfiguration>
{
    public static abstract TConfiguration FromFile(string path);
}

[mavasani]

Sounds reasonable to me. @buyaa-n?

[buyaa-n]

Sounds good to me too

[RenderMichael]

Can this bug be assigned to me? It looks like a straightforward fix.

[RenderMichael]

Opened PR #7142