core.typed

Cannot instantiate variables that have bounds

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: Backlog
  • Component/s: Core type system
  • Labels:

Description

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

Activity

Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Component/s Core type system [ 10006 ]
Fix Version/s Backlog [ 10554 ]
Labels newbie

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: