Small cleanup in Type API use (#16444)

dwijnand · web-flow · commit 72c4ffd94cfc · 2022-11-30T17:18:46.000Z
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -383,7 +383,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
                 if sym1.isTerm then
                   sym1.isStableMember &&
                   sym2.isStableMember &&
-                  sym1.owner.thisType.select(name, sym1) =:= sym2.owner.thisType.select(name, sym2)
+                  sym1.termRef =:= sym2.termRef
                 else
                   (sym1.isAliasType || sym2.isAliasType) && d1.info =:= d2.info
               }

Original file line number	Diff line number	Diff line change
`@@ -383,7 +383,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer`
`383`	`383`	`if sym1.isTerm then`
`384`	`384`	`sym1.isStableMember &&`
`385`	`385`	`sym2.isStableMember &&`
`386`		`- sym1.owner.thisType.select(name, sym1) =:= sym2.owner.thisType.select(name, sym2)`
	`386`	`+ sym1.termRef =:= sym2.termRef`
`387`	`387`	`else`
`388`	`388`	`(sym1.isAliasType \|\| sym2.isAliasType) && d1.info =:= d2.info`
`389`	`389`	`}`