You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Note that the default windows allocator already does this: rust-lang/unsafe-code-guidelines#243 (comment) so while this is cause for concern, as far as I know it is possible this will have to be allowed (But is technically UB under the current stacked borrows)
The text was updated successfully, but these errors were encountered:
As I understand it, under stacked borrows Affix allocators are UB (In the deallocation part) if the pointer that comes in came through a &/&mut (See rust-lang/unsafe-code-guidelines#243, specifically rust-lang/unsafe-code-guidelines#243 (comment) . Related: rust-lang/unsafe-code-guidelines#256)
Note that the default windows allocator already does this: rust-lang/unsafe-code-guidelines#243 (comment) so while this is cause for concern, as far as I know it is possible this will have to be allowed (But is technically UB under the current stacked borrows)
The text was updated successfully, but these errors were encountered: