Stream: t-compiler/major changes

Topic: refactor types to fit the chalk-ty generiā€¦ compiler-team#341


triagebot (Aug 05 2020 at 09:26, on Zulip):

A new proposal has been announced: #341. It will be announced at the next meeting to try and draw attention to it, but usually MCPs are not discussed during triage meetings. If you think this would benefit from discussion amongst the team, consider proposing a design meeting.

lcnr (Aug 05 2020 at 10:01, on Zulip):

One point to note is that match ty.kind() { .. .} produces references for the fields within, which is often not what we want, because those fields are copy, and thus sometimes match *ty.kind() { .. } is preferable (though, as you can see in rust-lang/rust#75077, not always.

As said in https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/Looking.20to.20contribute/near/205762268, I think it would be advantageous to instead change the result of kind to TyKind and require TyKind to be copy

lcnr (Aug 05 2020 at 10:01, on Zulip):

which hopefully solves this problem

LeSeulArtichaut (Aug 06 2020 at 17:54, on Zulip):

The MCP needs a second, maybe cc @eddyb @oli who were there in the design meeting for this proposal?

triagebot (Aug 07 2020 at 06:56, on Zulip):

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

triagebot (Aug 19 2020 at 15:22, on Zulip):

This proposal has been accepted: #341.

Last update: May 07 2021 at 07:15UTC