- "in" argument matches only "in" parameters (as opposed to unmodified case that can also match byval parameters)
- "in" requires that the argument is an lvalue
- "in" does not allow conversions at the call-site other than identity conversions
- "in" sets an exact bound in generic method type inference
- "in" cannot be stack-spilled by value