7 files changed, 252 insertions, 0 deletions
diff --git a/test/files/pos/overloaded_ho_fun.scala b/test/files/pos/overloaded_ho_fun.scala
index 2699ad35f8..17176715f0 100644
--- a/test/files/pos/overloaded_ho_fun.scala
+++ b/test/files/pos/overloaded_ho_fun.scala
@@ -49,3 +49,18 @@ object sorting {
 //   def andThen[C](g: Bijection[B, C]): Bijection[A, C] = ???
 //   def compose[T](g: Bijection[T, A]) = g andThen this
 // }
+
+object SI10194 {
+  trait X[A] {
+    def map[B](f: A => B): Unit
+  }
+
+  trait Y[A] extends X[A] {
+    def map[B](f: A => B)(implicit ordering: Ordering[B]): Unit
+  }
+
+  trait Z[A] extends Y[A]
+
+  (null: Y[Int]).map(x => x.toString) // compiled
+  (null: Z[Int]).map(x => x.toString) // didn't compile
+}
diff --git a/test/files/pos/sam_erasure_boundedwild.scala b/test/files/pos/sam_erasure_boundedwild.scala
new file mode 100644
index 0000000000..1ec27e0ea4
--- /dev/null
+++ b/test/files/pos/sam_erasure_boundedwild.scala
@@ -0,0 +1,11 @@
+class Test {
+  trait Q[T] {
+    def toArray[T](x: Array[T]): Array[T]
+    def toArray(): Array[T]
+  }
+
+  def crashTyper: Array[_] = {
+   val x : Q[_] = ???
+   x.toArray // crashes while doing overload resolution
+  }
+}
+\ No newline at end of file
diff --git a/test/files/pos/t10066.scala b/test/files/pos/t10066.scala
new file mode 100644
index 0000000000..bef85cb08c
--- /dev/null
+++ b/test/files/pos/t10066.scala
@@ -0,0 +1,38 @@
+package dynamicrash
+ 
+import scala.language.dynamics
+ 
+class Config
+ 
+trait Extractor[A] {
+  def extract(config: Config, name: String): A
+}
+ 
+object Extractor {
+  // this has "implicit", unlike the corresponding neg test
+  implicit val stringExtractor = new Extractor[String] {
+    override def extract(config: Config, name: String): String = ???
+  }
+}
+ 
+class Workspace extends Dynamic {
+  val config: Config = new Config
+ 
+  def selectDynamic[A](name: String)(implicit extractor: Extractor[A]): A =
+    extractor.extract(config, name)
+}
+ 
+object Main {
+  val storage = new Workspace
+ 
+  // this line works fine
+  // val a = storage.foo
+ 
+  // this line crashes the compiler ("head of empty list")
+  // in ContextErrors$InferencerContextErrors$InferErrorGen$.NotWithinBoundsErrorMessage
+  println(storage.foo[String])
+ 
+  // this line crashes the compiler in different way ("unknown type")
+  // in the backend, warning: an unexpected type representation reached the compiler backend while compiling Test.scala: <error>
+  println(storage.foo)
+}
diff --git a/test/files/pos/t10154.scala b/test/files/pos/t10154.scala
new file mode 100644
index 0000000000..51616b71d6
--- /dev/null
+++ b/test/files/pos/t10154.scala
@@ -0,0 +1,11 @@
+trait Bar2[T]
+
+object Test2 {
+  def wrap {
+    object Foo {
+      implicit def fooBar: Bar2[Foo.type] = ???
+    }
+
+    implicitly[Bar2[Foo.type]]
+  }
+}
diff --git a/test/files/pos/t10154b.scala b/test/files/pos/t10154b.scala
new file mode 100644
index 0000000000..809a286c0e
--- /dev/null
+++ b/test/files/pos/t10154b.scala
@@ -0,0 +1,16 @@
+ import scala.language.existentials
+
+ class Bar[T]
+ class Test {
+  def method = {
+    object Foo {
+      implicit def x: Bar[Foo.type] = new Bar[Foo.type]
+    }
+    type T = Foo.type
+
+    {
+      object Foo
+      implicitly[Bar[T]]
+    }
+  }
+}
diff --git a/test/files/pos/t9331.scala b/test/files/pos/t9331.scala
new file mode 100644
index 0000000000..00a667886f
--- /dev/null
+++ b/test/files/pos/t9331.scala
@@ -0,0 +1,6 @@
+import scala.language.higherKinds
+
+trait Proxy[+T]
+case class Stuff[+P[PP] <: Proxy[PP]]() {
+  // canEqual was incorrectly synthetized and started reporting a kind error.
+}
diff --git a/test/files/pos/trailing-commas.scala b/test/files/pos/trailing-commas.scala
new file mode 100644
index 0000000000..b9401fe49d
--- /dev/null
+++ b/test/files/pos/trailing-commas.scala
@@ -0,0 +1,155 @@
+package foo
+
+trait ArgumentExprs1 {
+  def f(foo: Int, bar: String)(implicit ev0: Ev0, ev1: Ev1) = 1
+  f(
+    23,
+    "bar",
+  )(
+    Ev0,
+    Ev1,
+  )
+
+  // test arg exprs in the presence of varargs
+  def g(x: Int, y: Int*) = 1
+  g(1,2,
+  )
+  g(1,List(2, 3): _*,
+  )
+}
+
+trait ArgumentExprs2 {
+  class C(foo: Int, bar: String)(implicit ev0: Ev0, ev1: Ev1)
+  new C(
+    23,
+    "bar",
+  )(
+    Ev0,
+    Ev1,
+  )
+}
+
+trait Params {
+  def f(
+    foo: Int,
+    bar: String,
+  )(implicit
+    ev0: Ev0,
+    ev1: Ev1,
+  )
+}
+
+trait ClassParams {
+  class C(
+    foo: Int,
+    bar: String,
+  )(implicit
+    ev0: Ev0,
+    ev1: Ev1,
+  )
+
+  // test class params in the precense of varargs
+  case class D(i: Int*,
+  )
+}
+
+trait SimpleExpr1 {
+  def f: (Int, String) = (
+    23,
+    "bar",
+  )
+
+  // the Tuple1 value case, the trailing comma is ignored so the type is Int and the value 23
+  def g: Int = (
+    23,
+  )
+}
+
+trait TypeArgs {
+  class C[A, B]
+  def f: C[
+    Int,
+    String,
+  ]
+}
+
+trait TypeParamClause {
+  class C[
+    A,
+    B,
+  ]
+}
+
+trait FunTypeParamClause {
+  def f[
+    A,
+    B,
+  ]
+}
+
+trait SimpleType {
+  def f: (
+    Int,
+    String,
+  )
+
+  // the Tuple1 type case, the trailing comma is ignored so the type is Int and the value 23
+  def g: (
+    Int,
+  ) = 23
+}
+
+trait FunctionArgTypes {
+  def f: (
+    Int,
+    String,
+  ) => Boolean
+}
+
+trait SimplePattern {
+  val (
+    foo,
+    bar,
+  ) = null: Any
+
+  // test '@' syntax in patterns
+  Some(1) match {
+    case Some(x @ 1,
+    ) => x
+  }
+
+  // test ': _*' syntax in patterns
+  List(1, 2, 3) match {
+    case List(1, 2, _ @ _*,
+    ) => 1
+  }
+
+  // test varargs in patterns
+  val List(x, y, _*,
+  ) = 42 :: 17 :: Nil
+}
+
+trait ImportSelectors {
+  import foo.{
+    Ev0,
+    Ev1,
+  }
+}
+
+trait Bindings {
+  def g(f: (Int, String) => Boolean)
+
+  g((
+    foo,
+    bar,
+  ) => true)
+}
+
+// Import, ids, ValDcl, VarDcl, VarDef, PatDef use commas, but not inside paren, bracket or brace,
+// so they don't support an optional trailing comma
+
+// test utilities
+object `package` {
+  sealed trait Ev0; implicit object Ev0 extends Ev0
+  sealed trait Ev1; implicit object Ev1 extends Ev1
+}