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

Topic: active topic area: validity invariants


nikomatsakis (Jan 03 2019 at 17:27, on Zulip):

@avadacatavra we were saying that we should change the "active topic area" to validity invariants

nikomatsakis (Jan 03 2019 at 17:28, on Zulip):

which I guess is mostly a matter of opening issues and adjusting some labels and things

avadacatavra (Jan 03 2019 at 17:28, on Zulip):

/me works on labels

nikomatsakis (Jan 03 2019 at 17:28, on Zulip):

there are still some i's to dot and t's to cross with the old PRs etc

avadacatavra (Jan 03 2019 at 17:29, on Zulip):

didn't we have a pr that changed it to validity invariants?

avadacatavra (Jan 03 2019 at 17:29, on Zulip):

i still see data structure representation

nikomatsakis (Jan 03 2019 at 17:29, on Zulip):

@avadacatavra we had https://github.com/rust-rfcs/unsafe-code-guidelines/pull/54

nikomatsakis (Jan 03 2019 at 17:29, on Zulip):

not sure if that is what you mean

avadacatavra (Jan 03 2019 at 17:30, on Zulip):

ah yeah that's it. it just didn't change on the front page :)

RalfJ (Jan 04 2019 at 10:47, on Zulip):

the PR just added a new discussion area but didn't make it active

RalfJ (Jan 04 2019 at 11:06, on Zulip):

I now submitted a PR to change the active area

Last update: Nov 19 2019 at 18:05UTC