Scoping for pattern variables in an expression-bodied local function

[gafter]

We should (implement if necessary and) test the correctness of pattern variables defined at the top level of a local function

public static void Main(string[] args)
{
    bool Three(object o) => o is int i && i == 3;
}