diff options
| author | Yong He <yonghe@outlook.com> | 2024-09-10 08:13:21 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-10 08:13:21 -0700 |
| commit | 936c22a9a938744eb43c310dd82c9c6944f79e87 (patch) | |
| tree | ece9880056c94415379cd89303a4542894fb7f32 /tests/language-feature/interfaces | |
| parent | f51b74ddee7ec7104d021006575c601245814bb1 (diff) | |
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.
Diffstat (limited to 'tests/language-feature/interfaces')
| -rw-r--r-- | tests/language-feature/interfaces/default-construct-conformance.slang | 8 |
1 files changed, 2 insertions, 6 deletions
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(); |