Stream: wg-async-foundations

Topic: diagnostics

nikomatsakis (Aug 26 2019 at 15:31, on Zulip):

Hey @Esteban Küber -- we never got a chance to dig more into your thoughts re: async fn diagnostics. I thought it was a good idea in general though to try and focus our immediate efforts on "polish", in the form of diagnostics and other small fixes. Not sure if you had a more concrete list of scenarios that you were concerned about? I forget what you said.

Esteban Küber (Aug 26 2019 at 15:32, on Zulip):

I have this pr that brings a semblance of parity between e0308 and e0277 errors for the same mistake

Esteban Küber (Aug 26 2019 at 15:34, on Zulip):

But the way we make new obligations with spans pointing at the fn call instead of the arg that failed to meet the obligation doesn't allow me to give a suggestion and is a long standing issue that causes confusion in a regular basis

Esteban Küber (Aug 26 2019 at 15:38, on Zulip):

That being said i would like to see people that are using async often to file tickets about errors that are not at parity

Esteban Küber (Aug 26 2019 at 15:39, on Zulip):

The improvements for async will be improvements for assoc types and for imp trait errors, so I can look at the backlog for those

Esteban Küber (Aug 26 2019 at 17:38, on Zulip):

Another thing that might pop up

Last update: Jul 16 2020 at 14:05UTC