Stream: t-lang/wg-meta

Topic: dyn/nondyn marker


boats (Jan 13 2020 at 18:05, on Zulip):

In the meeting today we discussed adding a marker to traits to mark them object safe or not, e.g. dyn trait Foo { } - only this is object safe or static trait Foo { } - this trait is not object safe. Lots of questions about what the unmarked default should be, etc

boats (Jan 13 2020 at 18:07, on Zulip):

I wanted to comment: we definitely* would* want at least a lint if an unmarked trait contains non-object safe items, because that would alert people when they make a breaking change by making a trait accidentally no longer object safe.

XAMPPRocky (Jan 13 2020 at 18:28, on Zulip):

@boats I think you meant to post this in #t-lang, not in wg-meta?

boats (Jan 13 2020 at 18:28, on Zulip):

yes, sorry, i am confused by zulip

simulacrum (Jan 13 2020 at 18:29, on Zulip):

no worries :)

boats (Jan 13 2020 at 18:29, on Zulip):

my zulip doesnt show a t-lang stream at all

boats (Jan 13 2020 at 18:29, on Zulip):

ah im not subscribe to it

Last update: Jan 28 2020 at 01:30UTC