path: root/tiger-compiler/tests/object/type/bad-member-bindings.tig

let
  type C = class {}
  var c := new C
in
  c.missing_method();
  c.missing_attribute
end