Skip to content

Use deref_pointer_as instead of deref_pointer#4140

Merged
RalfJung merged 1 commit intorust-lang:masterfrom geetanshjuneja:derefJan 30, 2025
+39-34

Commits

Commits on Jan 30, 2025