{"ast_node_type":"import","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
                    // two-phase not needed because index_ty is never mutable
                Some((index_ty, element_ty)) => {
                    self.demand_coerce(idx, idx_t, index_ty, None, AllowTwoPhase::No);