More tests as requested

Author: Blaisorblade

tests/pos/i5720.scala

@@ -1,5 +1,59 @@
-class A[B[_] <: Long]
+// Ensure we omit valid JVM generic signatures when upper bounds are primitive
+// types. Java generic signatures cannot use primitive types in that position.
+
+class AUnit[B[_] <: Unit]
+class ABoolean[B[_] <: Boolean]
+
+class AByte[B[_] <: Byte]
+class AChar[B[_] <: Char]
+
+class AShort[B[_] <: Short]
+class AInt[B[_] <: Int]
+class ALong[B[_] <: Long]
+
+class AFloat[B[_] <: Float]
+class ADouble[B[_] <: Double]
+
+class ValClU(val i: Unit) extends AnyVal
+class AValClU[B[_] <: ValClU]
+class ValClI(val i: Int) extends AnyVal
+class AValClI[B[_] <: ValClI]
+
 object Main {
-  type C = A[[x] => Long]
-  type D = A[[x] => Nothing]
+  type AUL = AUnit[[x] => Unit]
+  type AUN = AUnit[[x] => Nothing]
+
+  type ABL = ABoolean[[x] => Boolean]
+  type ABN = ABoolean[[x] => Nothing]
+
+
+  type AByL = AByte[[x] => Byte]
+  type AByN = AByte[[x] => Nothing]
+
+  type ACL = AChar[[x] => Char]
+  type ACN = AChar[[x] => Nothing]
+
+
+  type ASL = AShort[[x] => Short]
+  type ASN = AShort[[x] => Nothing]
+
+  type AIL = AInt[[x] => Int]
+  type AIN = AInt[[x] => Nothing]
+
+  type ALL = ALong[[x] => Long]
+  type ALN = ALong[[x] => Nothing]
+
+
+  type AFL = AFloat[[x] => Float]
+  type AFN = AFloat[[x] => Nothing]
+
+  type ADL = ADouble[[x] => Double]
+  type ADN = ADouble[[x] => Nothing]
+
+
+  type ACUL = AValClU[[x] => ValClU]
+  type ACUN = AValClU[[x] => Nothing]
+
+  type ACIL = AValClI[[x] => ValClI]
+  type ACIN = AValClI[[x] => Nothing]
 }