Better warning for matching values with flexible types in explicit nulls #21577
Labels
area:nullability
area:private options
Issues tied to -Y private/internal compiler settings.
area:reporting
Error reporting including formatting, implicit suggestions, etc
better-errors
Issues concerned with improving confusing/unhelpful diagnostic messages
good first issue
Perfect for someone who wants to get started contributing
itype:enhancement
The code is from discussion in Scala 3.5.0 unreachable case which was working with 3.4.2.
Compiler version
Since 3.5 (after the flexible type was introduced)
Minimized example
-Yexplicit-nulls
Output Error/Warning message
Why this Error/Warning was not helpful
Should produce a better warning similar to without explicit nulls:
The text was updated successfully, but these errors were encountered: