Sequence->Seq

1 files changed, 13 insertions, 0 deletions

diff --git a/test/pending/pos/t1786.scala b/test/pending/pos/t1786.scala
new file mode 100644
index 0000000000..86aaee0121
--- /dev/null
+++ b/test/pending/pos/t1786.scala
@@ -0,0 +1,13 @@
+class SomeClass(val intValue:Int)
+class MyClass[T <: SomeClass](val myValue:T)
+
+def myMethod(i:MyClass[_]) {
+   i.myValue.intValue/2      // << error i is of type Any
+}
+
+def myMethod(i:MyClass[_ <: SomeClass]) {
+   i.myValue.intValue/2      // << works
+}
+/*
+The below code shows a compiler flaw in that the wildcard "_" as value for a bounded type parameter either breaks the boundry - as it result in Any - or doesnt (as id hoped it to be) evaluates to the boundy.
+*/