Ariel Davis

ok i think im able to reproduce. it seems easier to reproduce with autosave on. with the following basic project structure: ### .vscode/settings.json ```json { "millet.server.diagnostics.moreInfoHint.enable": false, "millet.format.engine": "none", "files.autoSave":...

i released v0.14.3 to try to address the issue by just catching the unwind and basically doing nothing afterwards. not the greatest solution to be sure but it might help

can you let me know if it helps? it seems to help for me in my testing. in that, it does still panic but doesn't crash the language server anymore

yea i'd like for the 'fix' to be temporary. if i get a chance i'd like to see if i can get the opinion of more experienced language server developers,...

started a discussion to see if they have any insight https://github.com/rust-lang/rust-analyzer/discussions/16578

important excerpt from that discussion: >> but i don't register for DidOpenTextDocument notifications. maybe i should, and when a file is opened mark it as ignored for the purposes of...

more correctly fixed in 99426ff051ceac5a671d4274c2daa312c54c8cf3 by applying the advice to ignore open files when handling DidChangeWatchedFiles. though i guess i can leave the `catch_unwind` there in case for now at...

the better fix is released in v0.14.4

Shouldn't be too hard to parse/syntax highlight this keyword. I'm interested, though, how it affects the static semantics. Is there a formalization written up that i may consult to know...

There's also some compatibility considerations - if this 'laziness' feature is not enabled, then `val lazy = 3` should not syntax error. In other words, `lazy` should only sometimes be...