summaryrefslogtreecommitdiffstats
path: root/tests/compute/implicit-generic-app.slang.expected.txt
Commit message (Collapse)AuthorAge
* Support generic type constraints when implicitly invoking genericTim Foley2017-12-22
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.