summaryrefslogtreecommitdiff
path: root/test/pending/pos/t1786.scala
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@typesafe.com>2014-02-11 19:24:43 -0800
committerAdriaan Moors <adriaan.moors@typesafe.com>2014-02-11 19:24:43 -0800
commite3d624dd2760f2593949a1b5493f5a92fb02138a (patch)
treeb637aed3240e327fd613f22162766b4269f1b452 /test/pending/pos/t1786.scala
parentadd9664c9f3a97ab3a4b7b3a4b9a3a578fca3d3d (diff)
parent48f6cdda26d23c563511caaf6842691b2cf5d23e (diff)
downloadscala-e3d624dd2760f2593949a1b5493f5a92fb02138a.tar.gz
scala-e3d624dd2760f2593949a1b5493f5a92fb02138a.tar.bz2
scala-e3d624dd2760f2593949a1b5493f5a92fb02138a.zip
Merge pull request #3509 from adriaanm/revert-t1786
Revert "SI-1786 incorporate defined bounds in inference"
Diffstat (limited to 'test/pending/pos/t1786.scala')
-rw-r--r--test/pending/pos/t1786.scala27
1 files changed, 27 insertions, 0 deletions
diff --git a/test/pending/pos/t1786.scala b/test/pending/pos/t1786.scala
new file mode 100644
index 0000000000..6299eb9eae
--- /dev/null
+++ b/test/pending/pos/t1786.scala
@@ -0,0 +1,27 @@
+/** This a consequence of the current type checking algorithm, where bounds are checked only after variables are instantiated.
+ * I believe this will change once we go to contraint-based type inference.
+ * Alternatively, we can pursue a more extensive fix to SI-6169
+ *
+ * The below code shows a compiler flaw in that the wildcard "_" as value for a bounded type parameter either
+ * breaks the boundary - as it result in Any - or doesn't evaluate to the boundary (as I'd hoped it to be).
+*/
+
+class SomeClass(val intValue:Int)
+class MyClass[T <: SomeClass](val myValue:T)
+class Flooz[A >: Null <: SomeClass, T >: Null <: A](var value: T)
+
+class A {
+ def f1(i:MyClass[_]) = i.myValue.intValue
+ def f2(i:MyClass[_ <: SomeClass]) = i.myValue.intValue
+ // def f3[T](i: MyClass[T]) = i.myValue.intValue
+ def f4[T <: SomeClass](i: MyClass[T]) = i.myValue.intValue
+ // def f5[T >: Null](i: MyClass[T]) = i.myValue.intValue
+ // def f6[T >: Null <: String](i: MyClass[T]) = i.myValue.intValue + i.myValue.charAt(0)
+
+ // def g1[A, T](x: Flooz[A, T]) = { x.value = null ; x.value.intValue }
+ def g2(x: Flooz[_, _]) = { x.value = null ; x.value.intValue }
+
+ class MyClass2(x: MyClass[_]) { val p = x.myValue.intValue }
+ // class MyClass3[T <: String](x: MyClass[T]) { val p = x.myValue.intValue + x.myValue.length }
+ // class MyClass4[T >: Null](x: MyClass[T]) { val p = x.myValue.intValue }
+}