Currently we can write a type-parametric function, but not one which instantiates a local type derived from a type parameter and passes it into a sub-function. We need to support this.
Implementation work begins at d449506eedee, initial tests passing as of 07f653202b1b.
Status: NEW → RESOLVED
Last Resolved: 8 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.