{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                rustc_middle::mir::PlaceElem::Downcast(None, idx.internal(tables, tcx))
            ProjectionElem::OpaqueCast(ty) => {