diff --git a/inputs/failing/optimizerBug.ts b/inputs/failing/optimizerBug.ts
new file mode 100644
index 0000000..71fc4bd
--- /dev/null
+++ b/inputs/failing/optimizerBug.ts
@@ -0,0 +1,17 @@
+// //! test_output(1)
+
+export default function main() {
+  return f([1]);
+}
+
+export function f(values: number[]): number {
+  const x = [
+    values[0],
+  ];
+
+  if (values[0]) {
+    return x[0];
+  }
+
+  return 0;
+}