{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"infcx.instantiate_ty_var(self,"}]}
                infcx.instantiate_ty_var(self, true, a_vid, self.ambient_variance, b)?
            (&ty::Infer(ty::TyVar(a_vid)), _) => {
            }