interface bar { int x; } // ---- Expect: diagnostics ---- // error: 3:13-18: interface 'bar' is not allowed to have contract variable 'x'