Update to dotty-0.16.0-RC3, remove workaround for a fixed bug: scala/scala3#6385

Author: neko-kai

README.md

@@ -11,9 +11,8 @@ cd no-more-orphans
 sbt test
 ```
 
-Tested on Scala 2.12.8, 2.13.0-M5, 2.11.8 and [dotty-0.14.0-RC1](https://github.com/7mind/no-more-orphans/tree/dotty)
+Tested on Scala 2.12.8, 2.13.0-M5, 2.11.8 and [dotty-0.16.0-RC3](https://github.com/7mind/no-more-orphans/tree/dotty)
 
-Note that dotty version requires a slightly different, but compatible, encoding (`<:<` evidence at the end) due to pending bugs in dotty:
+Dotty treats intersection types differently, so one of the problems with Scala 2 encoding is manifest for ALL implicits, not just optional:
 
-- https://github.com/lampepfl/dotty/issues/6385
 - https://github.com/lampepfl/dotty/issues/6384

build.sbt

@@ -2,14 +2,14 @@ name := "no-more-orphans-test"
 
 version := "0.1"
 
-val dottyVersion = "0.14.0-RC1"
-scalaVersion := dottyVersion
+val dottyVersion = "0.16.0-RC3"
 
+scalaVersion in Global := dottyVersion
 crossScalaVersions in Global := Seq("2.11.12", "2.12.8", "2.13.0-M5", dottyVersion)
 
 val cats_effect = "org.typelevel" %% "cats-effect" % "1.2.0"
 val scalaz_core = "org.scalaz" %% "scalaz-core" % "7.2.27"
-val scalatest = "org.scalatest" %% "scalatest" % "3.1.0-SNAP8"
+val scalatest = "org.scalatest" %% "scalatest" % "3.0.8"
 
 scalacOptions in Global ++= Seq("-Xlog-implicits", "-language:higherKinds")
 

mylib/src/main/scala/mylib/MyBox.scala

@@ -23,12 +23,12 @@ object MyBox extends LowPriorityMyBox {
 
 trait LowPriorityMyBox {
 
-  implicit def optionalCatsSemigroupalSemigroupKInvariantForMyBox[F[_[_]]: CatsSemigroupalSemigroupKInvariant, G](implicit ev: F[MyBox] <:< G): G = {
+  implicit def optionalCatsSemigroupalSemigroupKInvariantForMyBox[F[_[_]]: CatsSemigroupalSemigroupKInvariant, G]: F[MyBox] = {
     new ImpllSemigroupalSemigroupKInvariant[MyBox] {
       def combineK[A](x: MyBox[A], y: MyBox[A]): MyBox[A] = y
       def product[A, B](fa: MyBox[A], fb: MyBox[B]): MyBox[(A, B)] = MyBox((fa.get, fb.get))
       def imap[A, B](fa: MyBox[A])(f: A => B)(g: B => A): MyBox[B] = MyBox(f(fa.get))
-    }.asInstanceOf[G]
+    }.asInstanceOf[F[MyBox]]
   }
 
 

project/build.properties

@@ -1 +1 @@
-sbt.version = 1.2.8
+sbt.version = 1.3.0-RC2