Stream: t-compiler/wg-polonius

Topic: compiling branches to MIR


Xavier Denis (Oct 28 2020 at 16:35, on Zulip):

not sure if this is the correct channel but does anyone here know why when compiling the branches of a match, one branch gets compiled differently? All branches but one use a reborrow, though at source level they are identical

Xavier Denis (Oct 28 2020 at 16:35, on Zulip):

https://rust-lang.zulipchat.com/#narrow/stream/183875-wg-formal-methods/topic/Inconsistency.20in.20MIR.20for.20branches/near/214769775 see the example here

lqd (Oct 28 2020 at 17:17, on Zulip):

I'd suggest #t-compiler/help where you'll have more eyes to look at this

Last update: Jun 20 2021 at 00:15UTC