contract C {
    function a() public returns (uint256) {
        return 7;
    }

    function test() public returns (uint256) {
        function() returns (uint256) y = a;
        delete y;
        y();
    }
}

// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// test() -> FAILURE, hex"4e487b71", 0x51
