{"ast_node_type":"variable","tokens":[{"end":94,"kind":"keyword","start":0,"text":"let"}]}
        let verify_if_eq_b = self.normalize_to_scc_representatives(infcx.tcx, verify_if_eq_b);
        let generic_ty = self.normalize_to_scc_representatives(infcx.tcx, generic_ty);
        match test_type_match::extract_verify_if_eq(infcx.tcx, &verify_if_eq_b, generic_ty) {