Literal pattern must conform to the expected type

[som-snytt]

Reproduction steps

Scala version: 2.13.10

class C {
  def f(n: Short) =
    n match {
      case 2147483647 => true
      //case -1 => true
      case _ => false
    }
}

Problem

Expected an error that Short is required.

This is specified, and is analogous to stable identifier pattern.

Also as specified, the pattern literal is Short by virtue of the expected type (if it is in range).

[SethTisue]

https://github.com/scala/scala/pull/10290 appears abandoned.

[SethTisue]

Scala 3 (3.4.0-RC1-bin-20230807-84099a7-NIGHTLY) is silent as well.

[som-snytt]

It appears abandoned but I am still inside peering out from behind the locked shutters.

[som-snytt]

SLS 8.1.4 is cited on the dotty ticket.