type
  R = record
    x: Int
  end

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

end.