summaryrefslogtreecommitdiff
path: root/test/files/pos/ticket0137.scala
blob: 94ef8e49fc41fb07576c7a73f6351a127dbc0477 (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
}