Skip to content

manual_ok_err: don't lint subpatterns#14661

Merged
y21 merged 1 commit intorust-lang:masterfrom
Alexendoo:manual-ok-err-subpattern
Apr 21, 2025
Merged

`manual_ok_err`: don't lint subpatterns#14661
y21 merged 1 commit intorust-lang:masterfrom
Alexendoo:manual-ok-err-subpattern

Commits

Commits on Apr 20, 2025