Exhaustivity checking of extractors statically known to return Some #3182

Closed

Closed

Exhaustivity checking of extractors statically known to return Some#3182

Labels

area:pattern-matchingexp:advanceditype:enhancementprio:low

Just making a note of this recent issue on the scala bug tracker which is relevant for Dotty too: scala/bug#10502

Metadata

Assignees

No one assigned

Labels

area:pattern-matchingexp:advanceditype:enhancementprio:low

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests