Expected Warning not happening when using higher-kinded types #20412
Labels
area:reporting
Error reporting including formatting, implicit suggestions, etc
better-errors
Issues concerned with improving confusing/unhelpful diagnostic messages
itype:enhancement
Compiler version
scalac -version
$ Scala compiler version 3.4.0 -- Copyright 2002-2024, LAMP/EPFL
Minimized example
Output Error/Warning message
Why this Error/Warning was not helpful
Hello! I am wondering why only the second example warns.
Is higher kinded-types messing with something here?
Is this expected?
Thanks in advance!
The text was updated successfully, but these errors were encountered: