Tighten matchSymbol again

Revert to the original definition. For a while this was changed
so that a tree would match if its source symbol matched the required
symbol but this yields to many trees (e.g. primary constructor of
a class in addition to the class itself). (reverted from commit 349d79b)

Author: odersky

compiler/src/dotty/tools/dotc/interactive/Interactive.scala

@@ -73,6 +73,7 @@ object Interactive {
 
   /** Check if `tree` matches `sym`.
    *  This is the case if the symbol defined by `tree` equals `sym`,
+   *  or the source symbol of tree equals sym,
    *  or `include` is `overridden`, and `tree` is overridden by `sym`,
    *  or `include` is `overriding`, and `tree` overrides `sym`.
    */
@@ -81,7 +82,8 @@ object Interactive {
     def overrides(sym1: Symbol, sym2: Symbol) =
       sym1.owner.derivesFrom(sym2.owner) && sym1.overriddenSymbol(sym2.owner.asClass) == sym2
 
-    (  sym.exists && sym == tree.symbol
+    (  sym == tree.symbol
+    || sym.exists && sym == sourceSymbol(tree.symbol)
     || include != 0 && sym.name == tree.symbol.name && sym.owner != tree.symbol.owner
        && (  (include & Include.overridden) != 0 && overrides(sym, tree.symbol)
           || (include & Include.overriding) != 0 && overrides(tree.symbol, sym)