diff --git a/mlir/test/Dialect/Linalg/canonicalize.mlir b/mlir/test/Dialect/Linalg/canonicalize.mlir
--- a/mlir/test/Dialect/Linalg/canonicalize.mlir
+++ b/mlir/test/Dialect/Linalg/canonicalize.mlir
@@ -335,6 +335,25 @@
   return %1 : tensor<?x?xf32>
 }
 
+// -----
+// CHECK-LABEL: func @fold_fill_extract()
+func.func @fold_fill_extract() -> i1 {
+  //  CHECK:   %[[SCALAR:.+]] = arith.constant
+  %true = arith.constant true
+  %c0 = arith.constant 0 : index
+  %c1 = arith.constant 1 : index
+
+  //  CHECK:   %[[FILL:.+]] = linalg.fill ins(%{{.+}}{{.*}}outs(%[[SCALAR]]
+  %empty_dynamic = tensor.empty(%c1) : tensor<1x2x3x?xi1>
+  %filled = linalg.fill ins(%true : i1) outs(%empty_dynamic : tensor<1x2x3x?xi1>) -> tensor<1x2x3x?xi1>
+
+  //  CHECK:   %[[EXTRACTED:.+]] = tensor.extract %[[FILL]]
+  %extracted = tensor.extract %filled[%c0, %c0, %c0, %c0] : tensor<1x2x3x?xi1>
+
+  //  CHECK:   return %[[EXTRACTED]]
+  return %extracted : i1
+}
+
 // -----
 
 // CHECK: func @fold_self_copy