Remove unnecessary special case

matijapretnar · Jun 14, 2024 · 4c47fe0 · 4c47fe0
1 parent 130709b
commit 4c47fe0
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/04-optimizer/optimizer.ml b/src/04-optimizer/optimizer.ml
@@ -331,10 +331,6 @@ and handle_computation state hnd comp =
           (handle_abstraction state hnd abs)
       in
       handle_computation state hnd' cmp
-  | CastComp (cmp, { term = tcoer, dcoer; _ })
-    when Coercion.is_trivial_ty_coercion tcoer ->
-      let hnd' = Term.handler_with_smaller_input_dirt hnd dcoer in
-      handle_computation state hnd' cmp
   | CastComp (cmp, { term = tcoer, dcoer; _ }) ->
       let ty, _ = cmp.ty in
       let x_pat, x_var = Term.fresh_variable "x" ty in