tests/experiments/generic/multilevel-inheritance.slang


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

//TEST:SIMPLE(filecheck=CHECK): -target spirv -gnone -std 2026
//TEST:SIMPLE(filecheck=CHECK): -target spirv -gminimal -std 2026
//TEST:SIMPLE(filecheck=CHECK_LEGACY): -target spirv -gnone -std 2025
//TEST:SIMPLE(filecheck=CHECK_LEGACY): -target spirv -gminimal -std 2025
//TEST:SIMPLE(filecheck=CHECK_LEGACY): -target spirv -gnone -std legacy
//TEST:SIMPLE(filecheck=CHECK_LEGACY): -target spirv -gminimal -std legacy

// CHECK: error 30811
// CHECK: struct Child : Parent {};
// CHECK: error 38029
// CHECK: getObject<Child>();

// CHECK_LEGACY: warning 30816
// CHECK_LEGACY: struct Child : Parent {};
// CHECK_LEGACY: error 38029
// CHECK_LEGACY: getObject<Child>();

interface IFoo {};
struct Parent : IFoo {};
struct Child : Parent {};

T getObject<T>() where T : IFoo
{
    return T();
}

[shader("compute")]
void main()
{
    getObject<Child>();
}