<< Back to previous view

[CTYP-32] Cannot instantiate variables that have bounds Created: 29/Jul/13  Updated: 03/Dec/17

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: Unassigned
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 Sat Jan 20 21:24:08 CST 2018 using JIRA 4.4#649-r158309.