map the copy of the Type members

enso-org · May 9, 2023 · 0711186 · 0711186
1 parent ebb52ce
commit 0711186
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/engine/runtime/src/main/scala/org/enso/compiler/pass/resolve/TypeSignatures.scala b/engine/runtime/src/main/scala/org/enso/compiler/pass/resolve/TypeSignatures.scala
@@ -134,10 +134,14 @@ case object TypeSignatures extends IRPass {
         lastSignature = None
         res
       case ut: IR.Module.Scope.Definition.Type =>
-        // ut.members.foreach(d => {
-        //  verifyAscribedArguments(d.arguments)
-        // })
-        Some(ut.mapExpressions(resolveExpression))
+        Some(ut.mapExpressions(resolveExpression)).map(typ =>
+          typ.copy(
+            members = typ.members.map(d => {
+              verifyAscribedArguments(d.arguments)
+              d
+            })
+          )
+        );
       case err: IR.Error                  => Some(err)
       case ann: IR.Name.GenericAnnotation => Some(ann)
       case _: IR.Module.Scope.Definition.SugaredType =>