From 936c22a9a938744eb43c310dd82c9c6944f79e87 Mon Sep 17 00:00:00 2001 From: Yong He Date: Tue, 10 Sep 2024 08:13:21 -0700 Subject: Specialize existential return types when possible. (#5044) * Fix inccorect dropping of declref during Unification of DeclaredSubtypeWitness. * Add extension test. * Specialize existential return types when possible. * Fix. * Fix. * Fix falcor issue. --- .../interfaces/default-construct-conformance.slang | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'tests/language-feature/interfaces') diff --git a/tests/language-feature/interfaces/default-construct-conformance.slang b/tests/language-feature/interfaces/default-construct-conformance.slang index 00778a9f6..4a6aed869 100644 --- a/tests/language-feature/interfaces/default-construct-conformance.slang +++ b/tests/language-feature/interfaces/default-construct-conformance.slang @@ -36,22 +36,18 @@ struct TestAny : ITest uint getValue() { return value; } } -// CHECK: Tuple{{.*}} makeTest0{{.*}}() -// CHECK: Tuple{{.*}} = { uint2(0U, 0U), uint2(0U, 0U), packAnyValue4{{.*}} }; ITest makeTest0() { return Test0(); } -// CHECK: Tuple{{.*}} makeTest1{{.*}}() -// CHECK: Tuple{{.*}} = { uint2(0U, 0U), uint2(1U, 0U), packAnyValue4{{.*}} }; ITest makeTest1() { return Test1(); } -// CHECK: Tuple{{.*}} makeTestAny{{.*}}() -// CHECK: Tuple{{.*}} = { uint2(0U, 0U), uint2(2U, 0U), packAnyValue4{{.*}} }; +// CHECK: TestAny{{.*}} makeTestAny{{.*}}() +// CHECK: return TestAny_{{.*}}init{{.*}}() ITest makeTestAny() { return TestAny(); -- cgit v1.2.3