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
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. :)
totally fine :)
this is one reason that Zulip is sort of nice, feel free to just drop messages in this topic
and I'll get back to 'em the next day if I'm not around
and/or others may do it faster :)
I suppose assign it to me, as well? (that part seems alarming to me, but I suspect I'll get over that. ^_^)
just to double check, you are
@uberjay on GH, right?
yep, i am
@uberjay any progress here btw? can I help in any way?
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.
@nikomatsakis I ran into this lately. Are there any plans about it? https://github.com/rust-lang/rust/issues/34511#issuecomment-373423999