Stream: wg-traits

Topic: #55097 lifetime juggling


nikomatsakis (Oct 29 2018 at 18:52, on Zulip):

Actually @uberjay there are already some notes on there — I have another meeting in a few minutes, but if you are able to read them and ask me some questions, would be helpful. My rating on the current notes is sort of "decent but probably confusing if you're not really familiar with the underlying setup" :P

Josh Huber (Oct 29 2018 at 18:54, on Zulip):

Sounds good. I'll see what questions I come up with. I've got a day job to contend with, so likely won't have a lot of time during normal business hours to dedicate. I suspect that's not too unusual, but just wanted to be clear. :)

nikomatsakis (Oct 29 2018 at 18:55, on Zulip):

totally fine :)

nikomatsakis (Oct 29 2018 at 18:55, on Zulip):

this is one reason that Zulip is sort of nice, feel free to just drop messages in this topic

nikomatsakis (Oct 29 2018 at 18:56, on Zulip):

and I'll get back to 'em the next day if I'm not around

nikomatsakis (Oct 29 2018 at 18:56, on Zulip):

and/or others may do it faster :)

Josh Huber (Oct 29 2018 at 18:56, on Zulip):

fantastic!

Josh Huber (Oct 29 2018 at 18:57, on Zulip):

I suppose assign it to me, as well? (that part seems alarming to me, but I suspect I'll get over that. ^_^)

nikomatsakis (Oct 29 2018 at 18:58, on Zulip):

just to double check, you are @uberjay on GH, right?

Josh Huber (Oct 29 2018 at 18:58, on Zulip):

yep, i am

nikomatsakis (Nov 12 2018 at 19:10, on Zulip):

@uberjay any progress here btw? can I help in any way?

Josh Huber (Nov 15 2018 at 15:14, on Zulip):

not yet -- thanks for checking in, though. I've had a surprise personal thing come up in the past couple weeks. I'm hoping to get some time on this over the next week.

Alexander Regueiro (Nov 15 2018 at 18:23, on Zulip):

@nikomatsakis I ran into this lately. Are there any plans about it? https://github.com/rust-lang/rust/issues/34511#issuecomment-373423999

Last update: Nov 18 2019 at 02:10UTC