<feed xmlns='http://www.w3.org/2005/Atom'>
<title>slang.git/tests/compute/implicit-generic-app.slang.expected.txt, branch master</title>
<subtitle>Making it easier to work with shaders</subtitle>
<id>https://git.yummers.dev/slang.git/atom?h=master</id>
<link rel='self' href='https://git.yummers.dev/slang.git/atom?h=master'/>
<link rel='alternate' type='text/html' href='https://git.yummers.dev/slang.git/'/>
<updated>2017-12-22T18:50:32+00:00</updated>
<entry>
<title>Support generic type constraints when implicitly invoking generic</title>
<updated>2017-12-22T18:50:32+00:00</updated>
<author>
<name>Tim Foley</name>
<email>tfoley@nvidia.com</email>
</author>
<published>2017-12-22T18:48:55+00:00</published>
<link rel='alternate' type='text/html' href='https://git.yummers.dev/slang.git/commit/?id=7ebc9875bbd765c1f6d7763b4ff0823ecc282e00'/>
<id>urn:sha1:7ebc9875bbd765c1f6d7763b4ff0823ecc282e00</id>
<content type='text'>
Fixes #326

This basically just copy-pastes logic from the explicit case over to the implicit case.
After we've solved for the explicit type/value arguments, we loop over the constraints and for each one we try to find a suitable subtype witness to use (after substituting in the arguments solved so far).

This change includes a test case for the new functionality.
</content>
</entry>
</feed>
