Details
Assignee
UnassignedUnassignedReporter
Ambrose Bonnaire-SergeantAmbrose Bonnaire-SergeantLabels
Components
Fix versions
Priority
Major
Details
Details
Assignee
Unassigned
UnassignedReporter
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-SergeantLabels
Components
Fix versions
Priority

Created July 30, 2013 at 4:53 AM
Updated December 4, 2017 at 12:04 AM
Trying to implement this example: http://www.scala-lang.org/node/136
The result: core.typed doesn't know that other bounded type variables can be substituted.
https://gist.github.com/frenchy64/6110077