Stream: t-compiler/wg-nll

Topic: #53528 NLL + impl Trait: Borrow checker error on else branch


pnkfelix (Sep 13 2018 at 13:04, on Zulip):

I wrote some notes on this ticket. There may be future changes we could make to accept this code, but I think NLL is meeting our current expectations here. I'm going to tag as NLL-deferred.

pnkfelix (Sep 13 2018 at 13:06, on Zulip):

(and remove from the RC2 milestone)

nikomatsakis (Sep 13 2018 at 13:38, on Zulip):

hmm reading over I sort of understand :)

nikomatsakis (Sep 13 2018 at 13:39, on Zulip):

this reminds me that I really want to spend more time thinking about our errors, and in particular the way that we talk about drops and destructors

nikomatsakis (Sep 13 2018 at 13:39, on Zulip):

I think that this is "invisible code" it's a place where we should be very careful with our terminology

nikomatsakis (Sep 13 2018 at 13:39, on Zulip):

in conversations with folks, I've been surprised to see how much confusion there is in this general area

nikomatsakis (Sep 13 2018 at 13:39, on Zulip):

makes me realize not everybody studied the MIR RFC :P

Last update: Nov 22 2019 at 01:00UTC