Skip to content

Deref related cleanups in ref_prop#146744

Merged
bors merged 1 commit intorust-lang:masterfrom
beepster4096:derefs_in_ref_prop
Sep 21, 2025
Merged

Deref related cleanups in ref_prop#146744
bors merged 1 commit intorust-lang:masterfrom
beepster4096:derefs_in_ref_prop

Commits

Commits on Sep 19, 2025