Fix TermRefWithSignature.newLikeThis

Used to not support more precise prefixes.
Assumed that symbol does not change.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index 6c8fd7585..4357b0fbd 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -1743,7 +1743,7 @@ object Types {
       if (symbol.exists && !candidate.symbol.exists) { // recompute from previous symbol
         val ownSym = symbol
         val newd = asMemberOf(prefix)
-        candidate.withDenot(newd.suchThat(_ eq ownSym))
+        candidate.withDenot(newd.suchThat(_.signature == ownSym.signature))
       }
       else candidate
     }