Cannot instantiate variables that have bounds

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

Environment

None

Status

Assignee

Unassigned

Reporter

Ambrose BS

Labels

Approval

None

Patch

None

Components

Fix versions

Priority

Major
Configure