If this type is used as an argument type, the compiler ensures that argument expressions are bound to a local variable.