blob: 4ee92ae8a75d304835cb28ba3cac597183f51074 (
plain) (
blame)
1
2
3
4
5
6
7
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
}
|