Wrong type shown on hover on method with this.type
as param bound
#4675
Labels
bug
Something that is making a piece of functionality unusable
hover
presentation-compiler
Something relating to the presentation compiler
priority:low
upstream-fix-needed
Waiting on a fix upstream
Describe the bug
Write the following code:
Hover on
zip
It shows:
Symbol signature:
inline def zip[This >: Tuple <: Tuple, T2 <: Tuple](t2: T2): Zip[This, T2]
Expected behavior
Expected signature:
inline def zip[This >: this.type <: Tuple, T2 <: Tuple](t2: T2): Zip[This, T2]
Source: https://github.com/lampepfl/dotty/blob/main/library/src/scala/Tuple.scala#L51
Operating system
macOS
Editor/Extension
VS Code
Version of Metals
0.11.9
Scala version
3.2.0
Extra context or search terms
This problem also occurs in other methods with
this.type
as param bounds, eg:inline def take[This >: Tuple <: Tuple](n: Int): Take[This, n.type]
The text was updated successfully, but these errors were encountered: