Fix #7673: Change excluded trees from namedTrees / documentSymbol

- Exclude type and term parameters of synthetic definitions
- Exclude erroneous trees from Interactive.namedTrees traverser

Author: andreamocci

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

@@ -185,6 +185,7 @@ object Interactive {
         private def handle(utree: untpd.NameTree): Unit = {
           val tree = utree.asInstanceOf[tpd.NameTree]
           if (tree.symbol.exists
+               && tree.name != StdNames.nme.ERROR
                && !tree.symbol.is(Synthetic)
                && !tree.symbol.isPrimaryConstructor
                && tree.span.exists

language-server/src/dotty/tools/languageserver/DottyLanguageServer.scala

@@ -489,18 +489,16 @@ class DottyLanguageServer extends LanguageServer
 
     val uriTrees = driver.openedTrees(uri)
 
-    // Excludes locals from synthetic symbols (with the exception of enums members)
-    // and erroroneous trees.
-    val excludeLocalsFromSyntheticSymbols = (n: NameTree) => {
+    // Excludes type and term params from synthetic symbols
+    val excludeParamsFromSyntheticSymbols = (n: NameTree) => {
       val owner = n.symbol.owner
-      n.symbol.is(Case) || {
-        n.name != StdNames.nme.ERROR &&
+      !n.symbol.is(Param) || {
         !owner.is(Synthetic) &&
         !owner.isPrimaryConstructor
       }
     }
 
-    val defs = Interactive.namedTrees(uriTrees, Include.local, excludeLocalsFromSyntheticSymbols)
+    val defs = Interactive.namedTrees(uriTrees, Include.local, excludeParamsFromSyntheticSymbols)
 
     (for {
       d <- defs if (!isWorksheetWrapper(d) && !isTopLevelWrapper(d))