-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Closed
Labels
area:named-tuplesIssues tied to the named tuples feature.Issues tied to the named tuples feature.area:pattern-matchingitype:bug
Milestone
Description
Compiler version
3.6.2
Minimized code
//> using options -language:experimental.namedTuples
def find(explore: List[(seen: Set[Int], x: Int, y: Int)]): Any =
explore match
case Nil => ???
case (seen = s, x = x, y = y) :: rest => ???
Output
-- [E029] Pattern Match Exhaustivity Warning: ----------------------------------
2 | explore match
| ^^^^^^^
| match may not be exhaustive.
|
| It would fail on pattern case: List(_, _*)
|
| longer explanation available when compiling with `-explain`
Expectation
the named tuple pattern will always match, so no warning
Metadata
Metadata
Assignees
Labels
area:named-tuplesIssues tied to the named tuples feature.Issues tied to the named tuples feature.area:pattern-matchingitype:bug