Skip to content

Improve invalid_reference_casting lint#114784

Merged
bors merged 2 commits intorust-lang:masterfrom Urgau:many-improve-invalid_reference_casting-lintAug 16, 2023

Commits

Commits on Aug 15, 2023