391   if (auto sliceOp = getSlice()) {  in verify()  local
392     if (auto sl = mlir::dyn_cast_or_null<fir::SliceOp>(sliceOp.getDefiningOp()))  in verify()
395     if (auto sliceTy = sliceOp.getType().dyn_cast<fir::SliceType>())  in verify()
458   if (auto sliceOp = getSlice()) {  in verify()  local
459     if (auto sl = mlir::dyn_cast_or_null<fir::SliceOp>(sliceOp.getDefiningOp()))  in verify()
462     if (auto sliceTy = sliceOp.getType().dyn_cast<fir::SliceType>())  in verify()
481     if (auto sliceOp =  in verify()  local
483       if (!sliceOp.getSubstr().empty())  in verify()
486       if (!sliceOp.getFields().empty()) {  in verify()
492               fir::applyPathToType(seqTy.getEleTy(), sliceOp.getFields());  in verify()
2242     if (auto sliceOp = sliceVal.getDefiningOp()) {  in verify()  local
2243       auto slicedRank = mlir::cast<fir::SliceOp>(sliceOp).getOutRank();  in verify()