feat(types): support implicit single-argument constructors

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

1 files changed, 24 insertions, 0 deletions

diff --git a/tests/iii/implicit-conversion-errors/case.json b/tests/iii/implicit-conversion-errors/case.json
new file mode 100644
index 0000000..a004af2
--- /dev/null
+++ b/tests/iii/implicit-conversion-errors/case.json
@@ -0,0 +1,24 @@
+{
+  "errors": [
+    {
+      "line": 28,
+      "reason": "Cannot use a value of type INTEGER where ExplicitOnly is expected"
+    },
+    {
+      "line": 29,
+      "reason": "Cannot use a value of type INTEGER where Second is expected"
+    },
+    {
+      "line": 30,
+      "reason": "BYREF argument I to Ref must be of type First"
+    },
+    {
+      "line": 41,
+      "reason": "Ambiguous call to Ambiguous"
+    },
+    {
+      "line": 48,
+      "reason": "Cannot access private method NEW"
+    }
+  ]
+}