IDE0063 "using statement can be simplified" code fix results in invalid code (build error)

Version Used: Visual Studio 17.0.1

Steps to Reproduce:

Paste the following code:

using System;
using System.Collections.Generic;

static void Repro()
{
    {
        // Any branch Roslyn can't predict is fine
        if (new Random().Next() > 0)
        {
            goto End;
        }

        using (var _ = new List<int>().GetEnumerator())
        {
        }
    }

    End:
    return;
}

Expected Behavior:

Nothing should happen and no code fixes should be proposed, this code is fine.

Actual Behavior:

IntelliSense suggests that the “using statement can be simplified”, and applying the code fix rewrites that using declaration into a using statement. This results in a build error though on that goto End statement, with error CS8648 saying “a goto cannot jump to a location after a using declaration”.

[CyrusNajmabadi]

@Youssef1313 that doesn’t apply here.

When gotoing a label in the same statement list as a using var, the goto must not have a using var syntactically between the goto and the label.

The label is not in the same statement list as the using var. 😃

[Youssef1313]

@sharwell This was stated as a compiler issue while #39637 is an IDE issue. Can you reopen?