Add fixed issue tests

Author: odersky

tests/pos/i7993.scala

@@ -0,0 +1,21 @@
+trait TC[F[_]]
+
+object TC {
+  def check[F[_], A](x: F[A])(implicit F: TC[F]): Unit = ()
+}
+
+case class Foo[+E, +A](value: A)
+
+object Foo {
+  type WithList[+E, +A] = Foo[List[E], A]
+
+  implicit def instance[E]: TC[[x] =>> Foo[E, x]] =
+    new TC[[x] =>> Foo[E, x]] {}
+}
+
+val x1: Foo[List[String], Int] = Foo(1)
+val x2: Foo.WithList[String, Int] = Foo(1)
+
+def test =
+  TC.check(x1)
+  TC.check(x2)

tests/pos/i8049.scala

@@ -0,0 +1,23 @@
+import scala.language.implicitConversions
+
+class Ops[A](a: A) {
+  def bar: Unit = ()
+}
+
+implicit def toOps[A](a: A): Ops[A] = new Ops[A](a)
+
+type Id[A] = A
+
+class Foo[A](val value: Id[A]) {
+  def same: Foo[A] = new Foo[A](value)
+  def map[B](f: A => B): Foo[B] = new Foo[B](f(value))
+}
+
+val x: Int = 1
+val foo: Foo[Int] = new Foo(1)
+
+val res1 = x.bar
+val res2 = foo.value.bar
+val res3 = foo.same.value.bar
+val res4 = foo.map[Int](_ + 1).value.bar
+val res5 = foo.map(_ + 1).value.bar