remove wildcard

Author: SeungheonOh

plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Transform/CaseApply.hs

@@ -34,7 +34,7 @@ processNestedApp (Apply ann body arg) =
   if length args >= 3
   then
     Case ann
-      (Constr ann 0 (processNestedApp <$> args))
+      (Constr ann 0 args)
       (V.singleton (processNestedApp innerBody))
   else Apply ann (processNestedApp body) (processNestedApp arg)
   where
@@ -51,4 +51,7 @@ processNestedApp (Constr ann idx ts) =
   Constr ann idx (processNestedApp <$> ts)
 processNestedApp (Case ann t bs) =
   Case ann (processNestedApp t) (processNestedApp <$> bs)
-processNestedApp t = t
+processNestedApp (Var ann n) = Var ann n
+processNestedApp (Constant ann v) = Constant ann v
+processNestedApp (Builtin ann fun) = Builtin ann fun
+processNestedApp (Error ann) = Error ann

plutus-core/untyped-plutus-core/testlib/Scoping/Spec.hs

@@ -81,7 +81,7 @@ test_names = testGroup "names"
         (evalSimplifierT . caseReduce)
     , T.test_scopingGood "case-apply"
         (genTerm @DefaultFun)
-        T.BindingRemovalOk
+        T.BindingRemovalNotOk
         T.PrerenameYes
         (evalSimplifierT . caseApply)
     , -- CSE creates entirely new names, which isn't supported by the scoping check machinery.