Type projections

[xeno-by]

class C {
  class X
}

object M {
  def m: C#X = ???
}

Test.scala:6: error: illegal outline
  def m: C#X = ???
         ^

class C[T, U] {
  type X = Map[T, U]
}

object M {
  def m: C[Int, Int]#X = ???
}

failed rsc: C.scala:6: error: illegal outline
  def m: C[Int, Int]#X = ???
         ^

[xeno-by]

Surprisingly, this wasn't necessary for util-core, but we'll need to take care of this to be able to tackle bigger projects.

[xeno-by]

Type projections are curiously rare in our case study project. So far, I've only encountered two usages of type projections, and I simply dealiased them manually, pushing the work on this ticket to some undefined point in the future.