Yeah, that code is from the previous `BinOp` handling. I don't quite grok it but id doesn't use `resolve` explicitly because of trickery with infix macros I think.