无法实例化有范围的变量

Question

尝试实现这个示例： https://scala-lang.org.cn/node/136

结果：core.typed 不知道其他有范围的类型变量可以被替换。

https://gist.github.com/frenchy64/6110077

Answer 1

参考：https://clojure.atlassian.net/browse/CTYP-32（由 ambrosebs 提出）