On C# 12 where the target type can be properly inferred, WTG3004 should suggest `[]` instead of `Array.Empty<T>()`.
