Stream: t-compiler/major changes

Topic: intern predicates, introduce forall/implie compiler-team#285


triagebot (May 05 2020 at 13:01, on Zulip):

A new proposal has been announced #285. It will be brought up at the next meeting.

nikomatsakis (May 05 2020 at 13:02, on Zulip):

@simulacrum how hard would it be for the triagebot to also post the link to the zulip thread in https://github.com/rust-lang/compiler-team/issues/285 ?

simulacrum (May 05 2020 at 13:02, on Zulip):

I wasn't able to find a nice way to identify the zulip thread when I last worked on it but didn't spend more than maybe 5 minutes looking

simulacrum (May 05 2020 at 13:04, on Zulip):

looking at the api now it does seem like we should be able to do it without too much extra work

simulacrum (May 05 2020 at 13:04, on Zulip):

mind filing an issue if there isn't one yet?

nikomatsakis (May 05 2020 at 13:05, on Zulip):

ok

nikomatsakis (May 05 2020 at 13:06, on Zulip):

@simulacrum https://github.com/rust-lang/triagebot/issues/505

nikomatsakis (May 05 2020 at 19:19, on Zulip):

I was wondering @Jack Huey if you'd be interested to pursue

Bastian Kauschke (May 05 2020 at 19:42, on Zulip):

^ I am interested in this, I am already working on a some large PRs right now, so in case someone else wants to do this they should have priority.

Jack Huey (May 05 2020 at 20:14, on Zulip):

I am interested. But sort of thin on time right now. So if @Bastian Kauschke has the time/motivation, go for it. Otherwise, I'll do it :)

Bastian Kauschke (May 05 2020 at 20:14, on Zulip):

:laughing:

nikomatsakis (May 07 2020 at 21:45, on Zulip):

I've been slowly hacking on the first few commits in a branch

nikomatsakis (May 07 2020 at 21:45, on Zulip):

jfyi

Bastian Kauschke (May 08 2020 at 07:55, on Zulip):

:thumbs_up: ping me once there once there is something I can do here, I should have enough time atm

nikomatsakis (May 08 2020 at 10:17, on Zulip):

I guess technically speaking I still need a "second" for this proposal ... :)

nikomatsakis (May 08 2020 at 10:17, on Zulip):

Maybe I can tempt @eddyb to take a look here :P

nikomatsakis (May 08 2020 at 10:18, on Zulip):

@Bastian Kauschke that said, I'll ping you over in #wg-traits

triagebot (May 11 2020 at 17:59, on Zulip):

@T-compiler: Proposal #285 has been seconded, and will be approved in 10 days if no objections are raised.

Last update: May 07 2021 at 06:15UTC