Stream: t-lang/wg-unsafe-code-guidelines

Topic: rust-lang/libz-sys#59


JP Sugarbroad (Jan 15 2020 at 07:24, on Zulip):

I figure this comes somewhat under the purview of UCG -- is this a reasonable request I'm making? Or is it reasonable for a library to say "you just need to not move this thing, ok?".

comex (Jan 15 2020 at 07:40, on Zulip):

@JP Sugarbroad libz-sys is just directly exposing libz's interface, it doesn't try to be safe at all

comex (Jan 15 2020 at 07:40, on Zulip):

and it's not really a UCG issue

JP Sugarbroad (Jan 15 2020 at 17:52, on Zulip):

So UCG doesn't try to cover how unsafe code should handle immovable structures?

JP Sugarbroad (Jan 15 2020 at 17:55, on Zulip):

I suppose I could move this to #t-libs instead.

RalfJ (Jan 15 2020 at 18:40, on Zulip):

UCG is mostly concerned with language-level unsafe, which Pin is not

RalfJ (Jan 15 2020 at 18:40, on Zulip):

so, basically, we mostly care about the list at https://doc.rust-lang.org/reference/behavior-considered-undefined.html and everything related

JP Sugarbroad (Jan 15 2020 at 20:19, on Zulip):

Ok thanks :blush: I'll check with libs team about what they think.

Last update: May 26 2020 at 10:40UTC