Stream: wg-async-foundations

Topic: weekly meeting 2019.06.18


Taylor Cramer (Jun 18 2019 at 17:03, on Zulip):

o/

Taylor Cramer (Jun 18 2019 at 17:03, on Zulip):

I know @nikomatsakis and @Yoshua Wuyts said they'd be unavailable

Taylor Cramer (Jun 18 2019 at 17:03, on Zulip):

Looking over the blocking issues: https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AAsyncAwait-Blocking

Taylor Cramer (Jun 18 2019 at 17:04, on Zulip):

All the "broken MIR" ones are fixed by https://github.com/rust-lang/rust/pull/61872

Taylor Cramer (Jun 18 2019 at 17:04, on Zulip):

"multiple lifetimes" (https://github.com/rust-lang/rust/issues/56238) is fixed by niko's PR

Taylor Cramer (Jun 18 2019 at 17:05, on Zulip):

@davidtwco you've claimed the HIR ID ICE (https://github.com/rust-lang/rust/issues/61685)

Taylor Cramer (Jun 18 2019 at 17:05, on Zulip):

still good to take that one?

davidtwco (Jun 18 2019 at 17:06, on Zulip):

Yeah, it's been surprisingly difficult to track down, but I'm still working on it.

Taylor Cramer (Jun 18 2019 at 17:06, on Zulip):

cool, thanks!

Taylor Cramer (Jun 18 2019 at 17:06, on Zulip):

There's also the async fn + rustfmt + rls with no rustfmt.toml failure: https://github.com/rust-lang/rust/issues/61072

davidtwco (Jun 18 2019 at 17:06, on Zulip):

(also, @WG-async-foundations, so that people know the meeting is happening)

Taylor Cramer (Jun 18 2019 at 17:06, on Zulip):

^ah, thank you

Taylor Cramer (Jun 18 2019 at 17:07, on Zulip):

@Igor Matuszewski had said they'd look into it but I haven't been able to get in touch

Taylor Cramer (Jun 18 2019 at 17:07, on Zulip):

I might grab some time to look into it later today unless I hear back

Taylor Cramer (Jun 18 2019 at 17:07, on Zulip):

then there's this nasty type inference issue: https://github.com/rust-lang/rust/issues/60424

Taylor Cramer (Jun 18 2019 at 17:08, on Zulip):

this manifests itself in a bunch of un-fun ways

Taylor Cramer (Jun 18 2019 at 17:08, on Zulip):

but really we need to have some way to "force" the correct output type of the async block

davidtwco (Jun 18 2019 at 17:09, on Zulip):

Niko and I started to discuss this (or rather, the related #54326) in this topic but ran out of time.

Taylor Cramer (Jun 18 2019 at 17:10, on Zulip):

yeah, thanks for the link reminder

Taylor Cramer (Jun 18 2019 at 17:10, on Zulip):

I posted that on the issue so that it's easier to track

Taylor Cramer (Jun 18 2019 at 17:12, on Zulip):

Okay, @davidtwco would you be interested in potentially joining on a dedicated meeting on that later? I can try and ping @nikomatsakis and set one up

davidtwco (Jun 18 2019 at 17:12, on Zulip):

Yeah, definitely.

Taylor Cramer (Jun 18 2019 at 17:13, on Zulip):

okay, cool, I'll try and get in touch and see if we can meet sometime later this week to sort out what needs to happen there

Taylor Cramer (Jun 18 2019 at 17:13, on Zulip):

then finally we've got this silly thing: https://github.com/rust-lang/rust/issues/60615

Taylor Cramer (Jun 18 2019 at 17:13, on Zulip):

should be an easy fix

Taylor Cramer (Jun 18 2019 at 17:13, on Zulip):

I'll assign myself

Taylor Cramer (Jun 18 2019 at 17:15, on Zulip):

okay, I think that's basically it then

Taylor Cramer (Jun 18 2019 at 17:15, on Zulip):

although I'll mention that we're trying to do a final testing push

Taylor Cramer (Jun 18 2019 at 17:15, on Zulip):

https://internals.rust-lang.org/t/final-async-await-testing-push/10423 has more info

Igor Matuszewski (Jun 18 2019 at 17:34, on Zulip):

@Taylor Cramer hey, sorry for the radio silence

Igor Matuszewski (Jun 18 2019 at 17:34, on Zulip):

Been out a couple of days and couldn’t get back to it since

Igor Matuszewski (Jun 18 2019 at 17:35, on Zulip):

This shouldn’t be a particularly hard problem, from a cursory glance we don’t correctly detect edition for files after parse phase in the compilation analysis

Taylor Cramer (Jun 18 2019 at 17:48, on Zulip):

@Igor Matuszewski in general, I think it'd be correct to assume that a file is at least 2018 edition if it uses async fn

Taylor Cramer (Jun 18 2019 at 17:48, on Zulip):

not sure whether that helps

Taylor Cramer (Jun 18 2019 at 17:49, on Zulip):

might be a bit harder for async blocks because of stuff like if async { ... }

Last update: Nov 18 2019 at 01:45UTC