Skip to content

Relax safety precondition of Ptr::cast_unsized#999

Closed
jswrenn wants to merge 1 commit into
mainfrom
relax-cast_unsized
Closed

Relax safety precondition of Ptr::cast_unsized#999
jswrenn wants to merge 1 commit into
mainfrom
relax-cast_unsized

Commits

Commits on Mar 5, 2024