type
  R = record
    x: Int
  end

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

end.