{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")"}]}
    ) -> bool {
        verify_if_eq_b: ty::Binder<'tcx, VerifyIfEq<'tcx>>,
        let generic_ty = self.normalize_to_scc_representatives(infcx.tcx, generic_ty);