inline match breaks simple example, documentation?

Compiler version

3.0.2

Minimized code

(transparent) inline def f(x: Int) = inline x match
  case 1 => 1
  case _ => 0

@main def m =
  val v = 1
  println(f(v))

Output

0

Expectation

Give the same output as (namely 1)

inline def f(x: Int) = x match
  case 1 => 1
  case _ => 0

and if not, be documented in the “Inline Matches” section of https://docs.scala-lang.org/scala3/reference/metaprogramming/inline.html.

(Note that this does work when v has singleton type 1)

[nicolasstucki]

The documentation says If there is enough static information to unambiguously take a branch. In this case we only know that the type of x is Int. This implies that it is ambiguous as if the value is 1 then either branch would work and therefore we should not be able to reduce the inline match.

[bishabosha]

We can mention that inline match works on the static type of an expression, not its runtime type, hence matching the wildcard case when v == 1 but its type is Int