Support .NET 9.0 Index to ROW_NUMBER

[roji]

Release notes
Docs

IEnumerable<string> lines2 = File.ReadAllLines("output.txt");
foreach ((int index, string line) in lines2.Index())
{
    Console.WriteLine($"Line number: {index + 1}, Line: {line}");
}

This could be translated via ROW_NUMBER, similar to #24218.