Stream: t-compiler/wg-rls-2.0

Topic: Neat visualisation of coecions in ItelliJ

matklad (Dec 29 2019 at 12:30, on Zulip): <- this is super nice!

Darin Morrison (Dec 29 2019 at 14:44, on Zulip):

That does look cool. Could that be added to rust analyzer?

matklad (Dec 29 2019 at 14:57, on Zulip):

Yes, and it shouldn't be that hard! cc @Jeremy Kolb

matklad (Dec 29 2019 at 14:58, on Zulip):

UI-wise, we should just use hover.

Implementation-wise, we should record non-trivial coercion sites during type inference

Last update: Oct 28 2020 at 17:45UTC