Skip to content

Suggest the correct array length on mismatch#107173

Merged
bors merged 1 commit intorust-lang:masterfrom
clubby789:suggest-array-length
Feb 15, 2023
Merged

Suggest the correct array length on mismatch#107173
bors merged 1 commit intorust-lang:masterfrom
clubby789:suggest-array-length

Commits

Commits on Feb 12, 2023