Missing symbol occurrence for an upper bound of the type parameter of class/trait/object definition.

Compiler version

v3.0.1

Minimized example

class Foo[T <: Int]

Output

class Foo/*<-example::Foo#*/[T/*<-example::Foo#[T]*/ <: Int]

For example, see: https://github.com/lampepfl/dotty/blob/49250915e0d28f3450f03d16a24c14577bc17562/tests/semanticdb/expect/i9782.expect.scala#L8

Expectation

class Foo/*<-example::Foo#*/[T/*<-example::Foo#[T]*/ <: Int/*->scala::Int#*/]

Possible solution

See:

• Signature information in Semanticdb #12885 (comment)
• Signature information in Semanticdb #12885 (comment)