Как скомпилировать такой код на C#?

Изучая исходники .NET наткнулся на такой код:

        var a = new char[3] { 'a', 'B', 'c' };
        AssertExtensions.AssertThrows<InvalidOperationException, char>(a, a => 
        {
            ReadOnlySpan<char> source = a;
            Span<char> destination = a;
            source.ToLower(destination, CultureInfo.CurrentCulture);
        });

Компилятор выдаёт ошибку:

Error   CS0136  A local or parameter named 'a' cannot be declared in this scope because that name is used in an enclosing local scope to define a local or parameter

Интересно, как это можно скомпилировать? У них же, наверняка, этот код как-то работает?