Skip to content

add note for non-exhaustive matches with guards#113019

Merged
bors merged 4 commits intorust-lang:masterfrom
ericmarkmartin:warning-for-guard-non-exhaustion
Jun 28, 2023
Merged

add note for non-exhaustive matches with guards#113019
bors merged 4 commits intorust-lang:masterfrom
ericmarkmartin:warning-for-guard-non-exhaustion

Commits

Commits on Jun 28, 2023