Do not add wildcard symbol of existential type to symbol section

Author: tanishiking

compiler/src/dotty/tools/dotc/semanticdb/TypeOps.scala

@@ -368,7 +368,9 @@ class TypeOps:
               // signature: type_signature(..., lo = <Nothing>, hi = <T>)
               case bounds: TypeBounds =>
                 val wildcardSym = WildcardTypeSymbol(sym, bounds)
-                registerFakeSymbol(wildcardSym)
+                // DO NOT register the wildcard symbol to symbol section here
+                // since it's not a symbol definition
+                // registerFakeSymbol(wildcardSym)
                 val ssym = wildcardSym.symbolName
                 (Some(wildcardSym), s.TypeRef(s.Type.Empty, ssym, Seq.empty))
               case other =>

tests/semanticdb/metac.expect

@@ -48,7 +48,7 @@ Schema => SemanticDB v4
 Uri => Advanced.scala
 Text => empty
 Language => Scala
-Symbols => 49 entries
+Symbols => 46 entries
 Occurrences => 101 entries
 
 Symbols:
@@ -74,7 +74,6 @@ advanced/Structural#s4().(a) => param a: Int
 advanced/Test. => final object Test extends Object { self: Test.type => +11 decls }
 advanced/Test.e. => val method e Wildcards
 advanced/Test.e1. => val method e1 List[_] forSome { type _  }
-advanced/Test.e1.[_] => type _ 
 advanced/Test.e1x. => val method e1x Any
 advanced/Test.s. => val method s Structural
 advanced/Test.s1. => val method s1 Object { abstract val method x Int }
@@ -86,9 +85,7 @@ advanced/Test.s3x. => val method s3x Int
 advanced/Wildcards# => class Wildcards extends Object { self: Wildcards => +3 decls }
 advanced/Wildcards#`<init>`(). => primary ctor <init> (): Wildcards
 advanced/Wildcards#e1(). => method e1 => List[_] forSome { type _  }
-advanced/Wildcards#e1().[_] => type _ 
 advanced/Wildcards#e2(). => method e2 => List[_] forSome { type _  <: Int }
-advanced/Wildcards#e2().[_] => type _  <: Int
 local0 => abstract val method x Int
 local1 => abstract val method x Int
 local2 => val method x Int
@@ -298,7 +295,7 @@ Schema => SemanticDB v4
 Uri => Anonymous.scala
 Text => empty
 Language => Scala
-Symbols => 15 entries
+Symbols => 14 entries
 Occurrences => 30 entries
 
 Symbols:
@@ -314,7 +311,6 @@ example/Anonymous#m1(). => method m1 [typeparam T [type _ ]]: Nothing
 example/Anonymous#m1().[T] => typeparam T [type _ ]
 example/Anonymous#m1().[T][_] => type _ 
 example/Anonymous#m2(). => method m2 => Map[_, List[_] forSome { type _  }] forSome { type _  }
-example/Anonymous#m2().[_] => type _ 
 local0 => val local x: Function1[Int, Int]
 local1 => final class $anon extends Object with Foo { self: $anon => +1 decls }
 
@@ -811,7 +807,7 @@ Schema => SemanticDB v4
 Uri => Enums.scala
 Text => empty
 Language => Scala
-Symbols => 187 entries
+Symbols => 181 entries
 Occurrences => 148 entries
 
 Symbols:
@@ -890,7 +886,6 @@ _empty_/Enums.Maybe.Just.unapply().[A] => typeparam A
 _empty_/Enums.Maybe.None. => case val static enum method None Maybe[Nothing]
 _empty_/Enums.Maybe.fromOrdinal(). => method fromOrdinal (param ordinal: Int): Maybe[_] forSome { type _  }
 _empty_/Enums.Maybe.fromOrdinal().(ordinal) => param ordinal: Int
-_empty_/Enums.Maybe.fromOrdinal().[_] => type _ 
 _empty_/Enums.Planet# => abstract sealed enum class Planet extends Enum[Planet] with Enum { self: Planet => +6 decls }
 _empty_/Enums.Planet#G. => private[this] final val method G 6.673E-11
 _empty_/Enums.Planet#`<init>`(). => primary ctor <init> (param mass: Double, param radius: Double): Planet
@@ -942,17 +937,13 @@ _empty_/Enums.Tag#[A] => typeparam A
 _empty_/Enums.Tag#`<init>`(). => primary ctor <init> [typeparam A ](): Tag[A]
 _empty_/Enums.Tag. => final object Tag extends Object { self: Tag.type => +7 decls }
 _empty_/Enums.Tag.$values. => private[this] val method $values Array[Tag[_] forSome { type _  }]
-_empty_/Enums.Tag.$values.[_] => type _ 
 _empty_/Enums.Tag.BooleanTag. => case val static enum method BooleanTag Tag[Boolean]
 _empty_/Enums.Tag.IntTag. => case val static enum method IntTag Tag[Int]
 _empty_/Enums.Tag.fromOrdinal(). => method fromOrdinal (param ordinal: Int): Tag[_] forSome { type _  }
 _empty_/Enums.Tag.fromOrdinal().(ordinal) => param ordinal: Int
-_empty_/Enums.Tag.fromOrdinal().[_] => type _ 
 _empty_/Enums.Tag.valueOf(). => method valueOf (param $name: String): Tag[_] forSome { type _  >: Int & Boolean <: Int | Boolean }
 _empty_/Enums.Tag.valueOf().($name) => param $name: String
-_empty_/Enums.Tag.valueOf().[_] => type _  >: Int & Boolean <: Int | Boolean
 _empty_/Enums.Tag.values(). => method values => Array[Tag[_] forSome { type _  }]
-_empty_/Enums.Tag.values().[_] => type _ 
 _empty_/Enums.WeekDays# => abstract sealed enum class WeekDays extends Object with Enum { self: WeekDays => +1 decls }
 _empty_/Enums.WeekDays#`<init>`(). => primary ctor <init> (): WeekDays
 _empty_/Enums.WeekDays. => final object WeekDays extends Object { self: WeekDays.type => +13 decls }
@@ -994,7 +985,6 @@ _empty_/Enums.`<:<`.`given_<:<_T_T`(). => final implicit given method given_<:<_
 _empty_/Enums.`<:<`.`given_<:<_T_T`().[T] => typeparam T 
 _empty_/Enums.`<:<`.fromOrdinal(). => method fromOrdinal (param ordinal: Int): <:<[_, _] forSome { type _ ; type _  }
 _empty_/Enums.`<:<`.fromOrdinal().(ordinal) => param ordinal: Int
-_empty_/Enums.`<:<`.fromOrdinal().[_] => type _ 
 _empty_/Enums.some1. => val method some1 Option[Int]
 _empty_/Enums.unwrap(). => method unwrap [typeparam A , typeparam B ](param opt: Option[A])(implicit given param ev: <:<[A, Option[B]]): Option[B]
 _empty_/Enums.unwrap().(ev) => implicit given param ev: <:<[A, Option[B]]
@@ -3777,7 +3767,7 @@ Schema => SemanticDB v4
 Uri => recursion.scala
 Text => empty
 Language => Scala
-Symbols => 37 entries
+Symbols => 36 entries
 Occurrences => 45 entries
 
 Symbols:
@@ -3788,7 +3778,6 @@ local3 => val local p: N$2
 local4 => val local Nat_this: Zero.type
 local5 => val local Nat_this: Succ[Zero.type]
 local6 => val local Nat_this: Succ[_] forSome { type _  <: Succ[Zero.type] }
-local6[_] => type _  <: Succ[Zero.type]
 recursion/Nats. => final object Nats extends Object { self: Nats.type => +9 decls }
 recursion/Nats.Nat# => sealed trait Nat extends Object { self: Nat => +3 decls }
 recursion/Nats.Nat#`++`(). => inline transparent macro ++ => Succ[Nat.this.type]
@@ -4044,7 +4033,7 @@ Schema => SemanticDB v4
 Uri => semanticdb-Types.scala
 Text => empty
 Language => Scala
-Symbols => 147 entries
+Symbols => 144 entries
 Occurrences => 225 entries
 
 Symbols:
@@ -4147,11 +4136,8 @@ types/Test.C#compoundType4. => val method compoundType4 Object
 types/Test.C#compoundType5. => val method compoundType5 M & N
 types/Test.C#compoundType6. => val method compoundType6 M & N
 types/Test.C#existentialType2. => val method existentialType2 List[_] forSome { type _  }
-types/Test.C#existentialType2.[_] => type _ 
 types/Test.C#existentialType3. => val method existentialType3 Class[_] forSome { type _  }
-types/Test.C#existentialType3.[_] => type _ 
 types/Test.C#existentialType4. => val method existentialType4 Class[_] forSome { type _  }
-types/Test.C#existentialType4.[_] => type _ 
 types/Test.C#p. => val method p P
 types/Test.C#singleType1. => val method singleType1 x.type
 types/Test.C#singleType2. => val method singleType2 p.x.type