<< Back to previous view

[CTYP-32] Cannot instantiate variables that have bounds Created: 29/Jul/13  Updated: 20/Jul/15

Status: Open
Project: core.typed
Component/s: Core type system
Affects Version/s: None
Fix Version/s: Backlog

Type: Defect Priority: Major
Reporter: Ambrose Bonnaire-Sergeant Assignee: Ambrose Bonnaire-Sergeant
Resolution: Unresolved Votes: 0
Labels: newbie


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.


Generated at Tue Jul 25 17:59:54 CDT 2017 using JIRA 4.4#649-r158309.