path: root/testsuite/fail_compilation/unary_negation_on_record.elna

type
  R = record
    x: Int
  end

proc f(r: R): Int
return ~r (* @Error Type 'R' cannot be used with unary '~' *)

end.