{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, P> {
        index: u64,
        // Not using the layout method because we want to compute on u64