{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"{"}]}
                        {
                            self.find_and_report_unsatisfied_index_impl(base, base_t)
                            self.demand_coerce(idx, idx_t, index_ty, None, AllowTwoPhase::No);