Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save Nashenas88/0f289fda1388829db87594cd0e71642c to your computer and use it in GitHub Desktop.
Save Nashenas88/0f289fda1388829db87594cd0e71642c to your computer and use it in GitHub Desktop.
First integrated version of borrow visualizer in rls
~/programming/rls/test_data/hover > master ●✚ > ../../target/debug/rls .
Initialising (look for `diagnosticsEnd` message)...
> 1: Init(
InitializeResult {
capabilities: ServerCapabilities {
text_document_sync: Some(
Incremental
),
hover_provider: Some(
true
),
completion_provider: Some(
CompletionOptions {
resolve_provider: Some(
true
),
trigger_characters: [
".",
":"
]
}
),
signature_help_provider: Some(
SignatureHelpOptions {
trigger_characters: Some(
[]
)
}
),
definition_provider: Some(
true
),
references_provider: Some(
true
),
document_highlight_provider: Some(
true
),
document_symbol_provider: Some(
true
),
workspace_symbol_provider: Some(
true
),
code_action_provider: Some(
false
),
code_lens_provider: None,
document_formatting_provider: Some(
false
),
document_range_formatting_provider: Some(
false
),
document_on_type_formatting_provider: None,
rename_provider: Some(
false
)
}
}
)
{"jsonrpc":"2.0","method":"rustDocument/diagnosticsBegin","params":null}
{"jsonrpc":"2.0","method":"rustDocument/diagnosticsEnd","params":null}
borrows src/main.rs 20 9
2: BorrowInfo(
Borrows {
assignments: [
Assignment {
range: Range {
start: Position {
line: 20,
character: 24
},
end: Position {
line: 25,
character: 1
}
}
},
Assignment {
range: Range {
start: Position {
line: 23,
character: 28
},
end: Position {
line: 25,
character: 1
}
}
}
],
loans: [
Loan {
kind: ImmBorrow,
range: Range {
start: Position {
line: 21,
character: 27
},
end: Position {
line: 21,
character: 32
}
},
cause: AddrOf
},
Loan {
kind: ImmBorrow,
range: Range {
start: Position {
line: 24,
character: 25
},
end: Position {
line: 24,
character: 31
}
},
cause: AddrOf
}
],
moves: []
}
)
>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment