From ee7f1e8a82fcb81d5ff2b017daf52fc929ce9444 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Wed, 10 Oct 2012 10:57:14 -0700 Subject: Fix for SI-6499, regression in type inference. I can't do any better than a reproduced comment: For some reason which is still a bit fuzzy, we must let Nothing through as a lower bound despite the fact that Nothing is always a lower bound. My current supposition is that the side-effecting type constraint accumulation mechanism depends on these subtype tests being performed to make forward progress when there are mutally recursive type vars. See pos/t6367 and pos/t6499 for the competing test cases. --- test/files/pos/t6499.scala | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 test/files/pos/t6499.scala (limited to 'test/files') diff --git a/test/files/pos/t6499.scala b/test/files/pos/t6499.scala new file mode 100644 index 0000000000..db376572ee --- /dev/null +++ b/test/files/pos/t6499.scala @@ -0,0 +1,3 @@ +object Test { + Map(): Map[_, Int] with Map[_, Int] +} -- cgit v1.2.3