Missing `.runtimeChecked` still gives warning and advice about adding `: @unchecked`

[soronpo]

Compiler version

v3.7.3

Minimized code

//> using scala 3.7.3
case class Foo(arg: Any)
val f = Foo(1)
val Foo(x: Int) = f //warning

Output

pattern's type Int is more specialized than the right hand side expression's type Any

If the narrowing is intentional, this can be communicated by adding `: @unchecked` after the expression,
which may result in a MatchError at runtime.
This patch can be rewritten automatically under -rewrite -source 3.2-migration.

Expectation

Warning should be:

pattern's type Int is more specialized than the right hand side expression's type Any

If the narrowing is intentional, this can be communicated by adding `.runtimeChecked` after the expression,
which may result in a MatchError at runtime.
This patch can be rewritten automatically under -rewrite -source 3.8-migration.

Also need to check if .runtimeChecked patch can be automatically rewritten as suggested above

[hamzaremmal]

@bishabosha this is what you told me a couple of days ago, right?

[bishabosha]

this is what you told me a couple of days ago, right?

Precisely, yep

[hamzaremmal]

@Gedochao fyi, this should be fixed in 3.8.0 as .runtimeChecked was stabilized in 3.8.0