From 94bb0a90131ce7f4a228274b8915afb26d64b31c Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Tue, 1 Feb 2011 08:26:45 +0000 Subject: I found more situations where primitive types w... I found more situations where primitive types were appearing in signatures. I hacked in a flag which says boxing is or is not allowed. The code is getting hideous: foortunately I have it mostly rewritten, but I wanted to fix this bug now. No review. --- test/files/pos/generic-sigs.scala | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'test/files') diff --git a/test/files/pos/generic-sigs.scala b/test/files/pos/generic-sigs.scala index 4822cfcfb0..533163373b 100644 --- a/test/files/pos/generic-sigs.scala +++ b/test/files/pos/generic-sigs.scala @@ -4,4 +4,15 @@ object A { def f3(x: Class[_ <: Int]) = x def f4(x: Class[_ <: String with Int]) = x def f5(x: Class[_ <: Int with String]) = x + + class Bippy[T] + def f6(x: Int) = new Bippy[t forSome { type t <: Int }] + def f7(x: T forSome { type T <: Float }) = x + def f8(x: T forSome { type T <: Unit }) = x + def f9(x: T forSome { type T <: runtime.BoxedUnit }) = x + def f10(x: Int) = new Bippy[t forSome { type t <: Unit }] + def f11(x: Int) = new Bippy[t forSome { type t >: Null }] + + class Boppy[+T1,-T2] + def g1 = new Boppy[t forSome { type t <: Int }, u forSome { type u <: String }] } \ No newline at end of file -- cgit v1.2.3