Fixes for by-name arguments

Previously, we did not strip off the => when comparing against expected type.

1 files changed, 2 insertions, 1 deletions

diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala
index 48b8bafe0..a6cbd58d1 100644
--- a/src/dotty/tools/dotc/typer/Implicits.scala
+++ b/src/dotty/tools/dotc/typer/Implicits.scala
@@ -263,13 +263,14 @@ trait Implicits { self: Typer =>
    */
   def inferImplicit(pt: Type, argument: Tree, pos: Position)(implicit ctx: Context): SearchResult = track("inferImplicit") {
     ctx.traceIndented(s"search implicit ${pt.show}, arg = ${argument.show}: ${argument.tpe.show}", show = true) {
+      assert(!(pt isRef defn.ByNameParamClass))
       val isearch =
         if (ctx.settings.explaintypes.value) new ExplainedImplicitSearch(pt, argument, pos)
         else new ImplicitSearch(pt, argument, pos)
       val result = isearch.bestImplicit
       result match {
         case success: SearchSuccess =>
-          println(s"committing to ${success.tstate.show}")
+          // println(s"committing to ${success.tstate.show}")
           success.tstate.commit()
         case _ =>
       }