Closed sophiajt closed 1 year ago
This is adding support for safe during allocation. This will check that the type is alias-safe, and if so, create a safe pointer.
safe
Note: we don't do a flow-sensitive linearity check on the ownership of the safe pointer, yet.
This is adding support for
safeduring allocation. This will check that the type is alias-safe, and if so, create a safe pointer.Note: we don't do a flow-sensitive linearity check on the ownership of the safe pointer, yet.