aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/neg/unboundWildcard.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/neg/unboundWildcard.scala')
-rw-r--r--tests/pending/neg/unboundWildcard.scala21
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/pending/neg/unboundWildcard.scala b/tests/pending/neg/unboundWildcard.scala
new file mode 100644
index 000000000..eeee04fde
--- /dev/null
+++ b/tests/pending/neg/unboundWildcard.scala
@@ -0,0 +1,21 @@
+object unboundWildcard {
+
+ // TODO: move this to tests/neg once it doesn't crash the compiler anymore
+ val wildcardVal: _ = 0 // error: unbound wildcard type
+
+ val annotated: _ @unchecked = 0 // error: unbound wildcard type
+
+ def wildcardArg(x: _): Int = 0 // error: unbound wildcard type
+
+ def wildcardResult(x: Int): _ = 0 // error: unbound wildcard type
+
+ val singletonTuple: (((((((_))))))) = ??? // error: unbound wildcard type
+
+ val wildcardBoundedTypeArgL: List[_ <: _] = List(0) // error: unbound wildcard type
+ val wildcardBoundedTypeArgU: List[_ >: _] = List(0) // error: unbound wildcard type
+
+ def wildcardBoundedTypeParamL[T <: _](x: T): T = x // error: unbound wildcard type
+ def wildcardBoundedTypeParamU[T >: _](x: T): T = x // error: unbound wildcard type
+
+ val _1403: (_ <: Any) = 1 // error: unbound wildcard type
+}