Skip to content

Unreachable case for String interpolation match #8758

Closed
@chungonn

Description

@chungonn

The following code works on 2.13.1 but with dotty 0.23.0-RC1, i get a Unreachable case warning

"?johndoe" match {
  case s":$name" => println(s":name $name")
  case s"{$name}" =>  println(s"{name} $name")
  case s"?$pos" =>  println(s"pos $pos")
}

Output

3 |  case s"{$name}" =>  println(s"{name} $name")
  |       ^^^^^^^^^^
  |       Unreachable case
4 |  case s"?$pos" =>  println(s"pos $pos")
  |       ^^^^^^^^
  |       Unreachable case
pos johndoe

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions