textDocument/codeAction failed #5541
Labels
during 1: program development
Bad error message or documentation; IDE bug; crash compiling invalid program
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
Exception occurs when typing the last
d
in the fileThe text was updated successfully, but these errors were encountered: