func.return %0 : tensor<64x84x32xf32>
}

// -----

func.func @testTransposeConvBadOutputShape(%arg1: tensor<32x4x4x128xf32>, %arg2: tensor<1x32x42x128xf32>) -> tensor<1x64x84x31xf32> {
  %cst = arith.constant dense<[1, 64, 84, 32]> : tensor<4xi32>
  %cst_1 = "tfl.no_value"() {value = unit} : () -> none
  // expected-error @+1 {{expect output type tensor<1x64x84x32xf32>, got tensor<1x64x84x31xf32>}}