summaryrefslogtreecommitdiff
path: root/test/files/neg/bug283.scala
blob: 0edcc6c75173bc22a8a9af407fafbd3f79f2c746 (plain) (blame)
1
2
3
4
5
6
7
8
// bug contribution #12

trait P[a<:P[a,t1],t1]:a;

object X
{
  type A[t1] = P[A[t1],t1];
}