Open MicroProofs opened 5 months ago
Latest main
LSP gets confused when hovering on generic functions that were previously used with a different type.
It infers the type as 'a' instead of the actual type.
left is List and level_one is List<(Int, Bytearray)>
What Git revision are you using?
Latest main
What operating system are you using, and which version?
Describe what the problem is?
LSP gets confused when hovering on generic functions that were previously used with a different type.
What should be the expected behavior?
It infers the type as 'a' instead of the actual type.
left is List
and level_one is List<(Int, Bytearray)>