{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
            // return type of the index expression...
            // Normalize the output type, which we can use later on as the
            let element_ty = ocx.normalize(