From 812e478989e27983b8dea7ab11964de751654ba2 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Wed, 4 Jun 2025 13:05:58 -0700
Subject: Make interface types non c-style in Slang2026. (#7260)

* Make interface types non c-style.

* Make Optional<T> work with autodiff and existential types.

* Fix.

* patch behind slang 2026.

* Fix warnings.

* cleanup.

* Fix tests.

* Fix.

* Fix com interface lowering.

* Add comment to test.

* regenerate command line reference

* Add test for passing `none` to autodiff function.

* Fix recording of `getDynamicObjectRTTIBytes`.

* Fix nested Optional types.

---------

Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
---
 tests/language-feature/nested-optional.slang | 35 ++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 tests/language-feature/nested-optional.slang

(limited to 'tests/language-feature/nested-optional.slang')

diff --git a/tests/language-feature/nested-optional.slang b/tests/language-feature/nested-optional.slang
new file mode 100644
index 000000000..8fdeac33b
--- /dev/null
+++ b/tests/language-feature/nested-optional.slang
@@ -0,0 +1,35 @@
+//TEST:INTERPRET(filecheck=CHECK):
+
+Optional<Optional<int>> getNone() { return none; }
+
+void main()
+{
+    Optional<Optional<Optional<int>>> val = Optional<Optional<int>>(5);
+    Optional<Optional<Optional<int>>> defaultVal1 = none;
+    Optional<Optional<Optional<int>>> defaultVal2 = getNone();
+
+    // CHECK: 8
+    printf("%d\n", sizeof(val));
+
+    // CHECK: success
+    if (defaultVal1.hasValue == defaultVal2.hasValue)
+    {
+        printf("success\n");
+    }
+    else
+    {
+        printf("failure\n");
+    }
+
+    // CHECK: value: 5
+    if (let x = val)
+    {
+        if (let y = x)
+        {
+            if (let z = y)
+            {
+                printf("value: %d\n", z);
+            }
+        }
+    }
+}
\ No newline at end of file
-- 
cgit v1.2.3