{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"Some((index_ty,"}]}
                Some((index_ty, element_ty)) => {
            match self.lookup_indexing(expr, base, base_t, idx, idx_t) {
                    // two-phase not needed because index_ty is never mutable