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

Topic: https://github.com/rust-lang/unsafe-code-guidelines/pull/159


gnzlbg (Aug 27 2019 at 14:13, on Zulip):

Can we merge https://github.com/rust-lang/unsafe-code-guidelines/pull/159 ?

gnzlbg (Aug 27 2019 at 14:15, on Zulip):

And maybe https://github.com/rust-lang/unsafe-code-guidelines/pull/164 as well ?

gnzlbg (Aug 27 2019 at 14:15, on Zulip):

that unlocks progress with #153

gnzlbg (Aug 27 2019 at 14:15, on Zulip):

cc @rkruppe thoughts on those two PRs ?

gnzlbg (Aug 27 2019 at 14:16, on Zulip):

in #164 you mentioned that using the term "layout" was unclear, but I'd rather resolve that as part of #153

gnzlbg (Aug 27 2019 at 14:23, on Zulip):

https://github.com/rust-lang/unsafe-code-guidelines/pull/195 also requires more reviews

gnzlbg (Aug 27 2019 at 14:24, on Zulip):

https://github.com/rust-lang/unsafe-code-guidelines/pull/190 feels ready to merge as well

rkruppe (Aug 27 2019 at 14:37, on Zulip):

in #164 you mentioned that using the term "layout" was unclear, but I'd rather resolve that as part of #153

Oh yeah, I didn't respond but Ralf's last comment sounded sensible to me.

gnzlbg (Aug 27 2019 at 14:43, on Zulip):

So i'm going to merge all the things.

Last update: Nov 20 2019 at 11:25UTC