Welcome! Please see the About page for a little more info on how this works.

0 votes
in core.typed by

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

1 Answer

0 votes
by
Reference: https://clojure.atlassian.net/browse/CTYP-32 (reported by ambrosebs)
...