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.

1 files changed, 11 insertions, 0 deletions

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