Skip to content

Use deref_poiner_as instead of deref_pointer#4138

Merged
RalfJung merged 1 commit intorust-lang:masterfrom geetanshjuneja:derefJan 14, 2025

Commits

Commits on Jan 13, 2025