inference.slang
//TEST(compute):COMPARE_COMPUTE:-cpu -shaderobj
//TEST_INPUT:ubuffer(data=[0], stride=4):out,name=outputBuffer
RWStructuredBuffer<int> outputBuffer;
[numthreads(1, 1, 1)]
void computeMain(uint tig : SV_GroupIndex)
{
// Test that we infer the type parameters to X from the type of f
x(f);
// Testthat we infer the type paramters to from a specialized generic (g)
y(g<int>);
outputBuffer[tig] = p;
}
static int p = 0;
func x<A, B>(f : functype (A) -> B)
{
++p;
}
float f(int)
{
return 1;
}
func y<A, B, C>(g : functype (A, B) -> C)
{
p += 2;
}
void g<A>(A, bool)
{ }