Invalid acc() argument exception

[JonathanAldrich]

If you have an argument of primitive type and you assert ownership of it you'll get an "Invalid acc() argument" exception. This should be an error message instead of an exception, and it should say something like "can't assert ownership of a variable of primitive type" or similar.

Example code:

void foo(int x)
  // @requires acc(x)
{ ... }