1 2 3 4 5 6 7 8
contract C { function f() public pure { var a; a.NeverReachedByParser(); } } // ---- // TypeError: (52-57): Use of the "var" keyword is disallowed.