RequiresAssemblyFilesAnalyzer throws InvalidCastException

[nagya]

From dotnet/roslyn#59749

Version Used: 6.0.200, bug is new in this version, i.e. was not present in 6.0.1

Steps to Reproduce:

1. Test1.zip
2. dotnet build

Expected Behavior:

No compile time exception and no warning.

Actual Behavior:

CSC : warning AD0001: Analyzer 'ILLink.RoslynAnalyzer.RequiresAssemblyFilesAnalyzer' threw an exception of type 'System.InvalidCastException' with message 'Unable to cast object of type 'Microsoft.CodeAnalysis.CSharp.Symbols.PublicModel.TypeParameterSymbol' to type 'Microsoft.CodeAnalysis.INamedTypeSymbol'.'. 

Repro project details:

PublishSingleFile=true must be set in the project file, and both type constraints are needed in the source file.

Test1.csproj

<Project Sdk="Microsoft.NET.Sdk">
  <PropertyGroup>
    <TargetFramework>net6.0</TargetFramework>
    <PublishSingleFile>true</PublishSingleFile>
  </PropertyGroup>
</Project>

Class1.cs

namespace Test1;

public abstract class Class1<T> where T : Class1<T>, new() { }

[sbomer]

Duplicate of #2642

[nagya]

Duplicate of #2642

Which public release will include the fix? Can you please provide a workaround in the meanwhile?

[sbomer]

I think it is set to ship with the next patch release of the 6.0.2xx SDK, @agocke can you confirm? As a workaround, you have a few options:

• Disable the analyzer temporarily <EnableSingleFileAnalyzer>false</EnableSingleFileAnalyzer>
• Update to a recent .NET 7 preview build from https://github.com/dotnet/installer (I don't think the preview1 release has the fix).
• If you are interested I can provide instructions on using a locally-built analyzer with the fix, with the 6.0.200 SDK.

[nagya]

Great, thank you. Disabling temporarily with a property is a good workaround in my scenario.

[sbomer]

I just realized that setting <NoWarn>$(NoWarn);AD0001</NoWarn> may be a better workaround since this appears to continue producing warnings from the analyzer for other methods (whereas by disabling it entirely might cause you to miss real issues).

[nagya]

Still repros in 6.0.201.