diff --git a/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_assignment_safety.snap b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_assignment_safety.snap
new file mode 100644
index 0000000..49a9adc
--- /dev/null
+++ b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_assignment_safety.snap
@@ -0,0 +1,9 @@
+---
+source: src/ast/compiler/optimizer.rs
+assertion_line: 533
+expression: dump
+---
+Lambda (Upvalues: 0) <Metadata: Metadata { ty: Function(Signature { params: Tuple([]), ret: Int }), is_tail: true }>
+  Parameters:
+  Tuple <Metadata: Metadata { ty: Tuple([]), is_tail: false }>
+  Constant: 20 <Metadata: Metadata { ty: Int, is_tail: true }>
diff --git a/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_dce_unused.snap b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_dce_unused.snap
new file mode 100644
index 0000000..a2e7c7b
--- /dev/null
+++ b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_dce_unused.snap
@@ -0,0 +1,9 @@
+---
+source: src/ast/compiler/optimizer.rs
+assertion_line: 526
+expression: dump
+---
+Lambda (Upvalues: 0) <Metadata: Metadata { ty: Function(Signature { params: Tuple([]), ret: Int }), is_tail: true }>
+  Parameters:
+  Tuple <Metadata: Metadata { ty: Tuple([]), is_tail: false }>
+  Constant: 42 <Metadata: Metadata { ty: Int, is_tail: true }>
diff --git a/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_folding.snap b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_folding.snap
new file mode 100644
index 0000000..5842b2d
--- /dev/null
+++ b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_folding.snap
@@ -0,0 +1,9 @@
+---
+source: src/ast/compiler/optimizer.rs
+assertion_line: 511
+expression: dump
+---
+Lambda (Upvalues: 0) <Metadata: Metadata { ty: Function(Signature { params: Tuple([]), ret: Int }), is_tail: true }>
+  Parameters:
+  Tuple <Metadata: Metadata { ty: Tuple([]), is_tail: false }>
+  Constant: 30 <Metadata: Metadata { ty: Int, is_tail: true }>
diff --git a/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_lambda_cracking.snap b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_lambda_cracking.snap
new file mode 100644
index 0000000..9cd7e14
--- /dev/null
+++ b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_lambda_cracking.snap
@@ -0,0 +1,16 @@
+---
+source: src/ast/compiler/optimizer.rs
+assertion_line: 540
+expression: dump
+---
+Lambda (Upvalues: 0) <Metadata: Metadata { ty: Function(Signature { params: Tuple([]), ret: Function(Signature { params: Tuple([]), ret: Int }) }), is_tail: true }>
+  Parameters:
+  Tuple <Metadata: Metadata { ty: Tuple([]), is_tail: false }>
+  Block <Metadata: Metadata { ty: Function(Signature { params: Tuple([]), ret: Int }), is_tail: true }>
+    DefLocal (Name: 'x', Slot: 0, captured by 1 lambdas) <Metadata: Metadata { ty: Int, is_tail: false }>
+      - Capturer: Lambda at line 1, col 23
+      Constant: 10 <Metadata: Metadata { ty: Int, is_tail: false }>
+    Lambda (Upvalues: 0) <Metadata: Metadata { ty: Function(Signature { params: Tuple([]), ret: Int }), is_tail: true }>
+      Parameters:
+      Tuple <Metadata: Metadata { ty: Tuple([]), is_tail: false }>
+      Constant: 10 <Metadata: Metadata { ty: Int, is_tail: true }>
diff --git a/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_local_inlining.snap b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_local_inlining.snap
new file mode 100644
index 0000000..79cfa67
--- /dev/null
+++ b/src/ast/compiler/snapshots/myc__ast__compiler__optimizer__tests__opt_local_inlining.snap
@@ -0,0 +1,9 @@
+---
+source: src/ast/compiler/optimizer.rs
+assertion_line: 519
+expression: dump
+---
+Lambda (Upvalues: 0) <Metadata: Metadata { ty: Function(Signature { params: Tuple([]), ret: Int }), is_tail: true }>
+  Parameters:
+  Tuple <Metadata: Metadata { ty: Tuple([]), is_tail: false }>
+  Constant: 15 <Metadata: Metadata { ty: Int, is_tail: true }>