solidity/test/libsolidity/syntaxTests/types/var_empty_decl_1.sol

contract C {
    function f() public pure {
        var a;
        a.NeverReachedByParser();
    }
}
// ----
// TypeError: (52-57): Use of the "var" keyword is disallowed.