3 files changed, 77 insertions, 0 deletions
diff --git a/test/files/neg/t8463.check b/test/files/neg/t8463.check
new file mode 100644
index 0000000000..1a3eea2870
--- /dev/null
+++ b/test/files/neg/t8463.check
@@ -0,0 +1,10 @@
+t8463.scala:5: error: type mismatch;
+ found   : Long
+ required: ?T[Long]
+Note that implicit conversions are not applicable because they are ambiguous:
+ both method longWrapper in class LowPriorityImplicits of type (x: Long)scala.runtime.RichLong
+ and method ArrowAssoc in object Predef of type [A](self: A)ArrowAssoc[A]
+ are possible conversion functions from Long to ?T[Long]
+  insertCell(Foo(5))
+            ^
+one error found
diff --git a/test/files/neg/t8463.scala b/test/files/neg/t8463.scala
new file mode 100644
index 0000000000..7c954fd834
--- /dev/null
+++ b/test/files/neg/t8463.scala
@@ -0,0 +1,38 @@
+object Test {
+  case class Foo[+T[_]](activity:T[Long])
+  type Cell[T] = T
+  def insertCell(u:Foo[Cell]) = ???
+  insertCell(Foo(5))
+}
+
+/* If SI-8230 is fixed, and `viewExists` is changed to no longer leak
+   ambiguity errors, you might expect the check file for this test to
+   change as folloes:
+
+@@ -1,18 +1,10 @@
+-t8463.scala:5: error: no type parameters for method apply: (activity:
+- --- because ---
+-argument expression's type is not compatible with formal parameter ty
++t8463.scala:5: error: type mismatch;
+  found   : Long
+  required: ?T[Long]
++Note that implicit conversions are not applicable because they are am
++ both method longWrapper in class LowPriorityImplicits of type (x: Lo
++ and method ArrowAssoc in object Predef of type [A](self: A)ArrowAsso
++ are possible conversion functions from Long to ?T[Long]
+   insertCell(Foo(5))
+-             ^
+-t8463.scala:5: error: type mismatch;
+- found   : Long(5L)
+- required: T[Long]
+-  insertCell(Foo(5))
+-                 ^
+-t8463.scala:5: error: type mismatch;
+- found   : Test.Foo[T]
+- required: Test.Foo[Test.Cell]
+-  insertCell(Foo(5))
+-                ^
+-three errors found
++            ^
++one error found
+*/
diff --git a/test/files/pos/t8329.scala b/test/files/pos/t8329.scala
new file mode 100644
index 0000000000..fcd5e50b37
--- /dev/null
+++ b/test/files/pos/t8329.scala
@@ -0,0 +1,29 @@
+object Test {
+  def pf(pf: PartialFunction[Any, Unit]) = ()
+  def f1(pf: Function[Any, Unit]) = ()
+ 
+  class A1; class B1
+  def test1(x: String, x1: String, default: String) = pf {
+    case _ if (
+         x.isEmpty
+      && default.isEmpty // was binding to synthetic param
+      && x1.isEmpty      // was binding to synthetic param
+    ) =>
+      x.isEmpty
+      default.isEmpty // was binding to synthetic param
+      x1.isEmpty      // was binding to synthetic param
+      new A1; new B1
+  }
+
+  def test2(x: String, x1: String, default: String) = f1 {
+    case _ if (
+         x.isEmpty
+      && default.isEmpty
+      && x1.isEmpty
+    ) =>
+      x.isEmpty
+      default.isEmpty
+      x1.isEmpty
+      new A1; new B1
+  }
+}