blob: bdf23312800abcc9b070a3a708e6ebd2400870a1 (
plain) (
blame)
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)
}
|
