From 9e9b9807b0f272ef586a5a92e6fc87de46c6da9d Mon Sep 17 00:00:00 2001
From: Clemens Winter <clemenswinter1@gmail.com>
Date: Mon, 25 Jul 2016 16:08:29 +0200
Subject: Add tests for unbound wildcard types

---
 tests/pending/neg/unboundWildcard.scala | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 tests/pending/neg/unboundWildcard.scala

(limited to 'tests')

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
+}
-- 
cgit v1.2.3


From a1d0f3e55afc52457e9e8987d35ef04c04ac0807 Mon Sep 17 00:00:00 2001
From: Clemens Winter <clemenswinter1@gmail.com>
Date: Mon, 25 Jul 2016 16:08:50 +0200
Subject: Add tests for infix types with wildcard parameters

---
 tests/pos/wildcardInInfixType.scala | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/pos/wildcardInInfixType.scala

(limited to 'tests')

diff --git a/tests/pos/wildcardInInfixType.scala b/tests/pos/wildcardInInfixType.scala
new file mode 100644
index 000000000..9905762c5
--- /dev/null
+++ b/tests/pos/wildcardInInfixType.scala
@@ -0,0 +1,9 @@
+object wildcardInInfixType {
+
+  val useless: _ => _ = (x: Int) => 1
+
+  val pointless: (_ <: Int) => _ = (x: Int) => 1
+
+  val answer: Int Either _ = Left(42)
+}
+
-- 
cgit v1.2.3