From 77c01a9baca66c1a5a099318d403dbedbe4feeeb Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Mon, 27 Jun 2011 17:16:01 +0000 Subject: Don't infer anonymous classes. possible, just far enough to avoid all kinds of undesirable consequences which accompany the preservation of too much type information. (The problems are akin to inferring the singleton type too freely.) // Example of code which did not compile, but now does class A class B[T <: A](cons: T) object C extends B(new A {}) Closes #4110, #3048. I already ran this by moors, so review by odersky. --- test/files/jvm/manifests.check | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/files/jvm/manifests.check') diff --git a/test/files/jvm/manifests.check b/test/files/jvm/manifests.check index 3b8ca5b5b1..54f504b929 100644 --- a/test/files/jvm/manifests.check +++ b/test/files/jvm/manifests.check @@ -29,7 +29,7 @@ x=Foo, m=Foo[scala.collection.immutable.List[Int]] x=Foo, m=Foo[Foo[Int]] x=Foo, m=Foo[scala.collection.immutable.List[Foo[Int]]] -x=Test1$$anon$1, m=Test1$$anon$1 +x=Test1$$anon$1, m=Object with Bar[java.lang.String] ()=() true=true -- cgit v1.2.3