diff options
| author | Tim Foley <tfoleyNV@users.noreply.github.com> | 2020-07-28 07:55:41 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-28 10:55:41 -0400 |
| commit | dce1d353bf8994220618d53d32455791631096c3 (patch) | |
| tree | 645d6832c44d5844ebde702122522203813e689d /examples | |
| parent | 348058f96e81d11da2698acf8343a99a199f1f24 (diff) | |
Fix support for nested generic intrinsics (#1462)
The logic that detects intrinsic functions during emit was not able to properly detect an intrinsic generic method nested in a generic type. The basic problem was that this led to a `specialize(specialize(...), ...)` in the IR, which wasn't being handled (only one level of `specialize` was handled). The fix is local and simple.
The larger issue was that the author of this commit had thought our IR ruled out nested generics like this, when in fact that is precisely how we handle nested generics throughout the IR. This oversight/misunderstanding means that we might have broken passes in other places that assume nested generics cannot happen. This change doesn't pretend to fix that other issue, but we should pay attention to it.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions
