Add position to synthetic lazy implicit symbols

Author: smarter

compiler/src/dotty/tools/dotc/core/Symbols.scala

@@ -265,8 +265,8 @@ trait Symbols { this: Context =>
     newConstructor(cls, EmptyFlags, Nil, Nil)
 
   /** Create a synthetic lazy implicit value */
-  def newLazyImplicit(info: Type): TermSymbol =
-    newSymbol(owner, LazyImplicitName.fresh(), Lazy, info)
+  def newLazyImplicit(info: Type, coord: Coord): TermSymbol =
+    newSymbol(owner, LazyImplicitName.fresh(), Lazy, info, coord = coord)
 
   /** Create a symbol representing a selftype declaration for class `cls`. */
   def newSelfSym(cls: ClassSymbol, name: TermName = nme.WILDCARD, selfInfo: Type = NoType): TermSymbol =

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

@@ -671,7 +671,7 @@ trait Implicits { self: Typer =>
      */
     val (formalValue, lazyImplicit, argCtx) = formal match {
       case ExprType(fv) =>
-        val lazyImplicit = ctx.newLazyImplicit(fv)
+        val lazyImplicit = ctx.newLazyImplicit(fv, pos)
         (fv, lazyImplicit, lazyImplicitCtx(lazyImplicit))
       case _ => (formal, NoSymbol, ctx)
     }

compiler/test/dotc/pos-test-pickling.blacklist

@@ -4,8 +4,6 @@ i1812.scala
 i1867.scala
 i3067.scala
 i3149.scala
-i3542-1.scala
-i3585.scala
 i3692.scala
 i3976.scala
 i4125.scala