Don't complain about conversions to refinements of Object and AnyVal

Fixes #9403

Author: odersky

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -3535,7 +3535,9 @@ class Typer extends Namer
         else err.typeMismatch(tree, pt, failure)
 
       if ctx.mode.is(Mode.ImplicitsEnabled) && tree.typeOpt.isValueType then
-        if pt.isRef(defn.AnyValClass) || pt.isRef(defn.ObjectClass) then
+        if pt.isRef(defn.AnyValClass, skipRefined = false)
+           || pt.isRef(defn.ObjectClass, skipRefined = false)
+        then
           report.error(em"the result of an implicit conversion must be more specific than $pt", tree.srcPos)
         inferView(tree, pt) match {
           case SearchSuccess(found: ExtMethodApply, _, _) =>

tests/pos/i9403.scala

@@ -0,0 +1,9 @@
+import scala.reflect.Selectable.reflectiveSelectable
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    def fCompareToBoolean(x: { def compareTo(y: java.lang.Boolean): Int }, y: Boolean): Int =
+      x.compareTo(y)
+    assert(fCompareToBoolean(false, true) < 0)
+  }
+}