From ed915c54cc8b3575ed3245c5793bfb051b5e98c1 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 28 Jul 2012 18:13:59 +0200 Subject: Closed 6029 ... ... in a less nice way than I would like. Essentially, we mask type errors at later stages that arise from comparing existentials and skolems because we know that they are not tracked correctly through all tree transformations. Never mind that all these types are going erased anyway shortly afterwards. It does not smell nice. But as I write in the comment, maybe the best way out is to avoid skolems altogether. Such a change by far exceeds the scope of this pull request however. --- test/files/pos/t6029.scala | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 test/files/pos/t6029.scala (limited to 'test/files/pos') diff --git a/test/files/pos/t6029.scala b/test/files/pos/t6029.scala new file mode 100644 index 0000000000..8f1bbb4ebf --- /dev/null +++ b/test/files/pos/t6029.scala @@ -0,0 +1,3 @@ +final case class V[A](x: A) extends AnyVal { + def flatMap[B](f: A => V[B]) = if (true) this else f(x) +} -- cgit v1.2.3