{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            result = self.try_index_step(expr, base_expr, &autoderef, idx_ty, index_expr);
        self.register_predicates(autoderef.into_obligations());