{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
                    // do inference in the *opposite* direction and to find out
                    // Unify the method signature with our incompatible arg, to
                    // what our ideal rcvr ty would look like.