diff options
author | Paul Phillips <paulp@improving.org> | 2011-02-01 08:26:45 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-02-01 08:26:45 +0000 |
commit | 94bb0a90131ce7f4a228274b8915afb26d64b31c (patch) | |
tree | 8da3cd069ed1c0ed9ad15e5b279cc1d8f3413307 /test | |
parent | 581e82f87f0ed4a2a484b00ac04c0bc667d201f9 (diff) | |
download | scala-94bb0a90131ce7f4a228274b8915afb26d64b31c.tar.gz scala-94bb0a90131ce7f4a228274b8915afb26d64b31c.tar.bz2 scala-94bb0a90131ce7f4a228274b8915afb26d64b31c.zip |
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.
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/generic-sigs.scala | 11 |
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 |