Read-only embedded ingot files written to temp for language server navigation

[g-r-a-n-t]

No description provided.

[micahscopes]

Looks quite solid! It'd be really nice to extend this mechanism to support jumping to views of Yul / Sonatina / bytecode in the future. But for now, I love it.

Did you look into any alternative LSP features for displaying a file from the LSP server? In the past I thought I saw something like this, but it being a fairly new and not-yet-supported feature.

Doing a more thorough look now, I'll approve for sure but want to make sure I get a chance to wrap my head around how this fits with other stuff.

[g-r-a-n-t]

Did you look into any alternative LSP features for displaying a file from the LSP server? In the past I thought I saw something like this, but it being a fairly new and not-yet-supported feature.

I looked into it a bit at first and got the impression that that approach would be more complicated due to each editor handling virtual files differently (or not at all). In any case, this behavior is a good fallback and maybe we can add virtual file support one editor at a time.

[micahscopes]

Looks great.

Yeah, looks like workspace/getReferenceDocument will come in 3.18. We should target that eventually but not in the near term, I totally agree.

The main followup that could be cool in the nearer term would be to generalize this machinery to be used for displaying Yul/Sonatina IR and maybe even representations of bytecode.