diff options
| author | Tim Foley <tfoley@nvidia.com> | 2017-12-22 10:48:55 -0800 |
|---|---|---|
| committer | Tim Foley <tfoley@nvidia.com> | 2017-12-22 10:50:32 -0800 |
| commit | 7ebc9875bbd765c1f6d7763b4ff0823ecc282e00 (patch) | |
| tree | b1296002e172be8d2554f85f97b8f9a5727c5e16 /examples | |
| parent | fab52a1bd6aa056ba91a2697133e62a169866242 (diff) | |
Support generic type constraints when implicitly invoking generic
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.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions