test/files/pos/t4970b.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

object Traits {
  trait OuterClass[V <: OuterClass[V]#InnerClass] {
  trait InnerClass {self: V =>
      def method = ()
    }
  }

  trait SubOuterClass[T <: SubOuterClass[T]#SubInnerClass] extends OuterClass[T] {
    trait SubInnerClass extends super.InnerClass {self: T =>  }
  }

  trait SubOuterClass2[T <: SubOuterClass2[T]#SubInnerClass2] extends OuterClass[T] {
    trait SubInnerClass2 extends super.InnerClass {self: InnerClass with T =>  }
  }

}

// object Classes {
//   class OuterClass[V <: OuterClass[V]#InnerClass] {
//   class InnerClass {self: V =>
//       def method = ()
//     }
//   }

//   class SubOuterClass[T <: SubOuterClass[T]#SubInnerClass] extends OuterClass[T] {
//     class SubInnerClass extends super.InnerClass {self: T =>  }
//   }

//   class SubOuterClass2[T <: SubOuterClass2[T]#SubInnerClass2] extends OuterClass[T] {
//     class SubInnerClass2 extends super.InnerClass {self: InnerClass with T =>  }
//   }
// }