Fix #6828: Support by-name synthesized implicits

Author: nicolasstucki

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

@@ -1066,8 +1066,9 @@ trait Implicits { self: Typer =>
                 tp.baseType(cls)
             }
             val base = baseWithRefinements(formal)
+            val formal1 = formal.resultType // Drop ExprType
             val result =
-              if (base <:< formal) {
+              if (base <:< formal1) {
                 // With the subtype test we enforce that the searched type `formal` is of the right form
                 handler(base, span)(ctx)
               }

tests/pos/i6828.scala

@@ -0,0 +1,5 @@
+class Foo {
+  inline def foo[T](implicit ct: =>scala.reflect.ClassTag[T]): Unit = Unit
+  foo[Int]
+  foo[String]
+}