{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"ProjectionElem::ConstantIndex"}]}
                ProjectionElem::ConstantIndex { .. } |
                ProjectionElem::OpaqueCast(_) |
                // assigning to P[i] requires P to be valid.