Skip to content

Rename and allow cast_ref_to_mut lint#113422

Merged
bors merged 3 commits intorust-lang:masterfrom
Urgau:cast_ref_to_mut-pre-beta
Jul 29, 2023
Merged

Rename and allow `cast_ref_to_mut` lint#113422
bors merged 3 commits intorust-lang:masterfrom
Urgau:cast_ref_to_mut-pre-beta

Commits