type ahead symbols from the sourcepath to add defTrees

Author: bishabosha

compiler/src/dotty/tools/dotc/sbt/ExtractAPI.scala

@@ -717,11 +717,17 @@ private class ExtractAPICollector(using Context) extends ThunkHolder {
           val sym = ref.symbol
           if sym.is(Inline, butNot = Param) && !seenInlines.contains(sym) then
             seenInlines += sym // dont re-enter hashing this ref
-            sym.defTree match
-              case defTree: ValOrDefDef =>
-                h = inlineReferenceHash(sym, defTree.rhs, h)
-              case _ =>
-                h = err(i"inline method reference `${ref.name}`", ref.name, ref, h)
+            if sym.is(Method) then
+              Inliner.bodyToInline(sym) match // force typechecking of body if from source
+                case EmptyTree =>
+                  h = err("inline method reference", ref, p, h)
+                case rhs =>
+                  h = inlineReferenceHash(sym, rhs, h)
+            else
+              // inline value - its rhs should match its type
+              // no extra info is gained from hashing the rhs
+              h = MurmurHash3.mix(h, InlineValHash)
+              h = inlineReferenceHash(sym, EmptyTree, h)
         case _ =>
 
       // FIXME: If `p` is a tree we should probably take its type into account

compiler/src/dotty/tools/dotc/sbt/package.scala

@@ -9,6 +9,7 @@ inline val TermNameHash = 1987 // 300th prime
 inline val TypeNameHash = 1993 // 301st prime
 inline val EmptyParamHash = 1997 // 302nd prime
 inline val InlineParamHash = 1999 // 303rd prime
+inline val InlineValHash = 2003 // 304th prime
 
 extension (sym: Symbol)
 

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

@@ -980,7 +980,7 @@ trait Implicits:
     trace(s"search implicit ${pt.show}, arg = ${argument.show}: ${argument.tpe.show}", implicits, show = true) {
       record("inferImplicit")
       assert(ctx.phase.allowsImplicitSearch,
-        if (argument.isEmpty) i"missing implicit parameter of type $pt after typer"
+        if (argument.isEmpty) i"missing implicit parameter of type $pt after typer at phase ${ctx.phase.phaseName}"
         else i"type error: ${argument.tpe} does not conform to $pt${err.whyNoMatchStr(argument.tpe, pt)}")
 
       if pt.unusableForInference

library/src/scala/compiletime/package.scala

@@ -188,4 +188,3 @@ def byName[T](x: => T): T = x
   */
 extension [T](x: T)
   transparent inline def asMatchable: x.type & Matchable = x.asInstanceOf[x.type & Matchable]
-