Skip to content

Improve invalid_reference_casting lint#114784

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

Improve `invalid_reference_casting` lint#114784
bors merged 2 commits intorust-lang:masterfrom
Urgau:many-improve-invalid_reference_casting-lint

Commits

Commits on Aug 15, 2023