yum-mirror/slang

Making it easier to work with shaders

git clone https://git.yummers.dev/yum-mirror/slang

Julius IkkalaMinimal optional constraints (#7422)7349dc5cf

master
branchesmasterall refs →
282 B15 linesraw
1//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK):
2interface IThing
3{
4    void thing();
5}
6
7void g<T>(T t) where T: IThing
8{
9}
10
11void f<T>(T t) where optional T: IThing
12{
13    // Error: cannot upgrade optional to non-optional witness in unchecked context.
14    g<T>(t); // CHECK: error 38029
15}