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