{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"ProjectionElem::OpaqueCast(ty)"}]}
            ProjectionElem::OpaqueCast(ty) | ProjectionElem::Subtype(ty) => Ok(*ty),
            ProjectionElem::Downcast(_) => Ok(ty),
        }