{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"(&ty::Infer(TyVar(..)),"}]}
            (&ty::Infer(TyVar(..)), _) => {
            // think this suffices. -nmatsakis
                let v = infcx.next_ty_var(self.trace.cause.span);