issue-4625 repro

dfinity · Aug 15, 2024 · 344f963 · 344f963
1 parent 9b67c0c
commit 344f963
Show file tree

Hide file tree

Showing 6 changed files with 39 additions and 0 deletions.
diff --git a/test/run-drun/issue-4625.mo b/test/run-drun/issue-4625.mo
@@ -0,0 +1,17 @@
+//MOC-FLAG --actor-idl issue-4625
+//MOC-FLAG --actor-alias call lg264-qjkae
+import lib "issue-4625/lib";
+import call "canister:call";
+
+actor {
+  type T = actor {
+    f(x: lib.X): async ();
+  };
+
+  let z: T = call;
+};
+
+//SKIP run
+//SKIP run-ir
+//SKIP run-low
+//SKIP ic-ref
diff --git a/test/run-drun/issue-4625/call.did b/test/run-drun/issue-4625/call.did
@@ -0,0 +1,4 @@
+type X = null;
+service : {
+  f: (X) -> ();
+}
diff --git a/test/run-drun/issue-4625/call.mo b/test/run-drun/issue-4625/call.mo
@@ -0,0 +1,7 @@
+import lib "lib";
+
+actor {
+    public shared func f(x: lib.X): async () {
+        ();
+    };
+}
diff --git a/test/run-drun/issue-4625/lg264-qjkae.did b/test/run-drun/issue-4625/lg264-qjkae.did
@@ -0,0 +1,4 @@
+type X = null;
+service : {
+  f: (X) -> ();
+}
diff --git a/test/run-drun/issue-4625/lib.mo b/test/run-drun/issue-4625/lib.mo
@@ -0,0 +1,3 @@
+module {
+    public type X = ();
+}
diff --git a/test/run-drun/ok/issue-4625.tc.ok b/test/run-drun/ok/issue-4625.tc.ok
@@ -0,0 +1,4 @@
+issue-4625.mo:11.14-11.18: type error [M0096], expression of type
+  actor {type X = Null; f : shared X__1 -> async ()}
+cannot produce expected type
+  actor {f : shared X -> async ()}