On 1/4/2022 11:28 PM, Timon Gehr wrote: > How about something like opArgs, dealing specifically with this case? (i.e., a > function call `foo(x)` with a single argument is immediately rewritten to > `foo(x.opArgs)` if `x` has a member `opArgs`, and this rewrite is applied > exactly once.) Sounds like a promising idea.