ticket0137.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 8 行

trait AbsM {    
  abstract class MonadCompanion[M[_]] 
  abstract class AbsMonadCompanion extends MonadCompanion[AM] {
    def newTag: Int 
  }

  type AM[_] // to trigger the bug, this must be an abstract type member that comes after the reference to it
}