Stream: wg-async-foundations

Topic: meeting 2019.11.19


nikomatsakis (Nov 19 2019 at 18:05, on Zulip):

Hey @WG-async-foundations -- triage meeting now-ish

nikomatsakis (Nov 19 2019 at 18:06, on Zulip):

I'm actually short on time today

csmoe (Nov 19 2019 at 18:07, on Zulip):

update: still working on https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async-foundations/topic/.2366312

nikomatsakis (Nov 19 2019 at 18:07, on Zulip):

Context and Waker might be accidentally Sync #66481

I'll mark as triaged, but we really need to get a kind of 'design process' happening, rather than the impl focus we've had thus far

nikomatsakis (Nov 19 2019 at 18:09, on Zulip):

Too many type inside async object must be known in this context errors #66445

nikomatsakis (Nov 19 2019 at 18:09, on Zulip):

seems like a pretty extreme diagnostic fail

nikomatsakis (Nov 19 2019 at 18:09, on Zulip):

Show the location of a type usage for trait bound failures #66444

nikomatsakis (Nov 19 2019 at 18:10, on Zulip):

@davidtwco do you know if your branch may affect this?

nikomatsakis (Nov 19 2019 at 18:10, on Zulip):

I am reminded that I still owe you feedback, dang it

davidtwco (Nov 19 2019 at 18:10, on Zulip):

I'll check quickly.

csmoe (Nov 19 2019 at 18:10, on Zulip):

update: still working on https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async-foundations/topic/.2366312

impl_wf_check is skipped for trait Test<T>, a bit strange, trying to figure out what's going on actually.

davidtwco (Nov 19 2019 at 18:16, on Zulip):

It doesn't currently, probably should, issue is that where I look in the typeck tables to find the type that I'm looking for, the types aren't considered equal:

ty=[std::fmt::ArgumentV1<'_>; 1] target_ty=[std::fmt::ArgumentV1<'_>; 1] eq=false

That'll be related to this comment's issue.

davidtwco (Nov 19 2019 at 18:21, on Zulip):

I've not had a chance to revisit #65345 yet, should have more time after this week.

nikomatsakis (Nov 19 2019 at 18:24, on Zulip):

@csmoe are you trying to figure out specifically why you get errors with RUSTC_LOG? or something else

nikomatsakis (Nov 19 2019 at 18:24, on Zulip):

unfortunately that does sometimes happen :(

csmoe (Nov 19 2019 at 18:25, on Zulip):

csmoe are you trying to figure out specifically why you get errors with RUSTC_LOG? or something else

fortunately, the RUSTC_LOG error was hacked away with the trick inside that issue.

csmoe (Nov 19 2019 at 18:26, on Zulip):

https://github.com/rust-lang/rust/issues/61577#issuecomment-528671852

csmoe (Nov 19 2019 at 18:27, on Zulip):

I'm trying to figure out why wf_check was skipped for trait Test<T>

Last update: Dec 12 2019 at 00:45UTC