Some cleanup and improvement for invalid ref casting impl#118909

Merged

bors merged 3 commits intorust-lang:masterfrom Urgau:cleanup-improvement-invalid_ref_casting

Dec 15, 2023

+116-65

Commits on Dec 14, 2023