{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
                // assigning to P[i] requires P to be valid.
                ProjectionElem::ConstantIndex { .. } |
                ProjectionElem::Downcast(_/*adt_def*/, _/*variant_idx*/) =>