Make disambiguate an inline function

odersky · odersky · commit 0c974fd6aae4 · 2020-07-23T19:11:31.000+02:00
Avoids creation of a closure in a hotspot (staticRef)
diff --git a/compiler/src/dotty/tools/dotc/core/Denotations.scala b/compiler/src/dotty/tools/dotc/core/Denotations.scala
@@ -277,7 +277,7 @@ object Denotations {
      *  single-denotations that do not satisfy the predicate are left alone
      *  (whereas suchThat would map them to NoDenotation).
      */
-    def disambiguate(p: Symbol => Boolean)(using Context): SingleDenotation = this match {
+    inline def disambiguate(inline p: Symbol => Boolean)(using Context): SingleDenotation = this match {
       case sdenot: SingleDenotation => sdenot
       case mdenot => suchThat(p) orElse NoQualifyingRef(alternatives)
     }

Original file line number	Diff line number	Diff line change
`@@ -277,7 +277,7 @@ object Denotations {`
`277`	`277`	`* single-denotations that do not satisfy the predicate are left alone`
`278`	`278`	`* (whereas suchThat would map them to NoDenotation).`
`279`	`279`	`*/`
`280`		`- def disambiguate(p: Symbol => Boolean)(using Context): SingleDenotation = this match {`
	`280`	`+ inline def disambiguate(inline p: Symbol => Boolean)(using Context): SingleDenotation = this match {`
`281`	`281`	`case sdenot: SingleDenotation => sdenot`
`282`	`282`	`case mdenot => suchThat(p) orElse NoQualifyingRef(alternatives)`
`283`	`283`	`}`