Why is generic type argument non-nullable (causing warning) when null is passed to params T[]?

[jnm2]

This is counterintuitive behavior which makes it necessary to explicitly specify the type argument with ImmutableArray.Create.

(SharpLab)

#nullable enable

// ⚠ CS8625 Cannot convert null literal to non-nullable reference type.
M(null, "test");

void M<T>(params T[] values) { }

[RikkiGibson]

This looks like a scenario that was fixed by dotnet/roslyn#56022. No warning is given when using the "main" branch in SharpLab.