Skip to content

[SIP 57] Add runtimeChecked method to replace @unchecked in the context that means "check at runtime" #21012

Closed
@bishabosha

Description

@bishabosha

SIP 57 is accepted for implementation: https://docs.scala-lang.org/sips/replace-nonsensical-unchecked-annotation.html

Add a new method scala.Predef.runtimeChecked that when applied to a value in match scrutinee position, turns off pattern match exhaustivity warnings, and refutable pattern binding warnings

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions