tests/untried/neg/t1432.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14

object Bug_NoUnique {

  type TypeCon[Env] = (Int, Env=>Double)

  case class Wrap[E](parent:E) {}

  type Alias2[E] = Wrap[E]

  def wrap[E,A,Y](v : (A,E=>Y)) : (A,Alias2[E]=>Y) =
    throw new Error("Body here")

  def test(x : TypeCon[Wrap[Unit]]) : TypeCon[Unit] = wrap(x)
}