jroesch · February 24, 2015 21:42
diff --git a/existential.scala b/existential.scala
 object P {
  trait X { type A }
  object J extends X { type A = Int }

  def foo[Y](x: X { type A = Y }): x.A = x match { case J => 1 }

  foo(J)
 }
	object P {
	trait X { type A }
	object J extends X { type A = Int }

	def foo[Y](x: X { type A = Y }): x.A = x match { case J => 1 }

	foo(J)
	}