[MLIR] Remove redundant verifier code in arith::ConstantOp

This is already checked by the `AllTypesMatch` traits defined in ODS.

Author: joker-eph

mlir/lib/Dialect/Arith/IR/ArithOps.cpp

@@ -207,11 +207,6 @@ void arith::ConstantOp::getAsmResultNames(
 /// or float like.
 LogicalResult arith::ConstantOp::verify() {
   auto type = getType();
-  // The value's type must match the return type.
-  if (getValue().getType() != type) {
-    return emitOpError() << "value type " << getValue().getType()
-                         << " must match return type: " << type;
-  }
   // Integer values must be signless.
   if (llvm::isa<IntegerType>(type) &&
       !llvm::cast<IntegerType>(type).isSignless())