Open kpodsiad opened 2 years ago
Thanks for reporting, it seems in semanticdb we get:
[13:4..13:17) => *[<?>, Int]
Which means we need to fix it in the compiler.
Probably related to https://github.com/scalameta/metals/issues/3935 I'll take a look :eyes:
Looks like this is caused by the lack of HKTypeLambda
support in SemanticDB for Scala3, maybe it's time to working on it 👍
Realized synthetics for inferred type parameters have disappeared in 3.2.0 :cry: https://github.com/lampepfl/dotty/pull/15877
What does that mean @tanishiking ?
inferred type decoration for StateT.modify
won't be available with the latest version of Scala.
(same applies to all the type apply like List(1.2.3)
-> List[Int](1.2.3)
).
It's regression, I'll take a look before working on lambda type support.
It was a big PR, no one can review 8k lines of code 😞 Thanks @tanishiking
Thanks for finding this @tanishiking ! I asked Martin about it in https://github.com/lampepfl/dotty/pull/15877/files#r969241924 It's not cool that it contained so visible regressions and yet it was just merged.
Thanks, @tgodzik! Yeah, it (ignoring the regression test) shouldn't happen, but for this case, it might be easier to fix on top of the change made by Martin compared to revert it.
Thanks, @tgodzik! Yeah, it (ignoring the regression test) shouldn't happen, but for this case, it might be easier to fix on top of the change made by Martin compared to revert it.
Sure, I get that, but I think next time they should have us sign off on such changes.
Submit a PR https://github.com/lampepfl/dotty/pull/16031 to fix the regression
Describe the bug
Expected behavior
StateT.modify
has correct inferred type[Id, Int]
Operating system
macOS
Editor/Extension
VS Code
Version of Metals
0.11.8+72-6567f1a3-SNAPSHOT
Extra context or search terms
No response