bug: issue-4625 repro

test/fail/issue-4625.mo

@@ -0,0 +1,12 @@
+//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;
+};

test/fail/issue-4625/call.did

@@ -0,0 +1,4 @@
+type X = null;
+service : {
+  f: (X) -> ();
+}

test/fail/issue-4625/call.mo

@@ -0,0 +1,7 @@
+import lib "lib";
+
+actor {
+    public shared func f(x : lib.X) : async () {
+        ();
+    };
+}

test/fail/issue-4625/lg264-qjkae.did

@@ -0,0 +1,4 @@
+type X = null;
+service : {
+  f: (X) -> ();
+}

test/fail/issue-4625/lib.mo

@@ -0,0 +1,3 @@
+module {
+    public type X = ();
+}

test/fail/ok/issue-4625.tc.ok

@@ -0,0 +1,4 @@
+issue-4625.mo:11.15-11.19: type error [M0096], expression of type
+  actor {type X = Null; f : shared X__1 -> async ()}
+cannot produce expected type
+  actor {f : shared X -> async ()}

test/fail/ok/issue-4625.tc.ret.ok

@@ -0,0 +1 @@
+Return code 1