373     auto shapeTy = shapeOp.getType();  in verify()  local
375     if (auto s = shapeTy.dyn_cast<fir::ShapeType>()) {  in verify()
377     } else if (auto ss = shapeTy.dyn_cast<fir::ShapeShiftType>()) {  in verify()
380       auto s = shapeTy.cast<fir::ShiftType>();  in verify()
442     auto shapeTy = shapeOp.getType();  in verify()  local
444     if (auto s = shapeTy.dyn_cast<fir::ShapeType>()) {  in verify()
446     } else if (auto ss = shapeTy.dyn_cast<fir::ShapeShiftType>()) {  in verify()
449       auto s = shapeTy.cast<fir::ShiftType>();  in verify()
2253       if (auto shapeTy = ty.dyn_cast<fir::ShapeType>()) {  in verify()  local
2254         shapeRank = shapeTy.getRank();  in verify()
2325     auto shapeTy = shapeVal.getType();  in verify()  local
2326     if (auto s = shapeTy.dyn_cast<fir::ShapeType>())  in verify()
2329       shapeTyRank = shapeTy.cast<fir::ShapeShiftType>().getRank();  in verify()
3035   auto shapeTy = getType().dyn_cast<fir::ShapeType>();  in verify()  local
3036   assert(shapeTy && "must be a shape type");  in verify()
3037   if (shapeTy.getRank() != size)  in verify()
3052   auto shapeTy = getType().dyn_cast<fir::ShapeShiftType>();  in verify()  local
3053   assert(shapeTy && "must be a shape shift type");  in verify()
3054   if (shapeTy.getRank() * 2 != size)  in verify()