function x() virtual {} // ---- Expect: diagnostics ---- // error: 2:22-29: only functions in contracts can be virtual