{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, Ty<'tcx>> {
        op: &OpTy<'tcx, M::Provenance>,
        // `TypeId` is a newtype around an array of pointers. All pointers must have the same