Revisiting Dotty Diagnostics for tooling

So I played around with this a bit today to get an idea of how editors would handle the related information, and given the “inlined positions” example here is how VS Code could handle this if it was returned structurally.

2022-03-26 09.53.17

This is pretty neat and definitely illustrates the benefits of having something like this mapped to DiagnosticRelatedInformation in terms of code navigation.

8 Likes