Wrong coverage for "await foreach" when method is generic

[msallin]

I'm using coverlet.msbuild v3.1.0 (and tried also with the current nightly build) and there is an uncovered statement reported.

I tried to reproduce it but I didn't managed to get an reproduction.
Any ideas what the problem could be and how I can provide an reproduction?

public class AsyncForeachReproduction
{
    private static async IAsyncEnumerable<int> RangeAsync(int start, int count)
    {
        for (int i = 0; i < count; i++)
        {
            await Task.Delay(i);
            yield return start + i;
        }
    }

    public async Task Execute()
    {
        await foreach (var a in RangeAsync(1, 5))
        {
            Console.WriteLine(a);
            await Task.CompletedTask;
        }

        await Task.CompletedTask;
    }
}

[MarcoRossignoli]

Thanks for reporting this.

[msallin]

@MarcoRossignoli this is still the case with 3.1.1
Let me know if you need more information.

[MarcoRossignoli]

We need a repro to find out why/when that branch is emitted by the compiler, to repro you should create the same method using mocked object, but the "shape" needs to be "identical" to mimic the same context for the compiler.

[msallin]

Any hints/idea what could cause this i.e. Why my repro doesnt work?

[MarcoRossignoli]

The code in the repro and the code that is failing are a lot different from compiler perspective, state machine are built in a different way because different object structure are involved(different nesting, visibility, different relationship between objects...different optimization)...you should create the same classes, mock those and retry.

Try to compare those with ILSpy and you'll see that the emitted IL is different.

[msallin]

Seems like it doesn't work if the method takes a type-parameter.

public class AwaitForeachReproductionFixture2
{
    [Fact]
    public async Task Execute_ShouldWork()
    {
        // Arrange
        var sut = new AwaitForeachReproduction2();

        // Act
        await sut.Execute<object>(RangeAsync(1, 3));
    }

    static async IAsyncEnumerable<int> RangeAsync(int start, int count)
    {
        for (int i = 0; i < count; i++)
        {
            await Task.Delay(i);
            yield return start + i;
        }
    }
}

public class AwaitForeachReproduction2
{
    public virtual async Task Execute<T>(IAsyncEnumerable<int> messages)
    {
        await foreach (int obj in messages)
        {
            await Task.Delay(1);
        }
    }
}

[msallin]

See https://github.com/meggima/coverlet-reproductions AwaitForeachReproduction2.cs & AwaitForeachReproductionFixture2.cs