aboutsummaryrefslogtreecommitdiff
path: root/crates/ide/src/diagnostics.rs
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2020-12-09 16:01:15 +0000
committerAleksey Kladov <[email protected]>2020-12-09 16:07:05 +0000
commit6e24321e4579d25686982002ed18f321db23cb9f (patch)
tree08f0fd7d99ad22a3d1db782482b66548e99ba8b2 /crates/ide/src/diagnostics.rs
parent5e3891c2559de5a6540d69bc14ded281484479f9 (diff)
Introduce anchored_path
They allow to represent paths like `#[path = "C:\path.rs"] mod foo;` in a lossless cross-platform & network-transparent way.
Diffstat (limited to 'crates/ide/src/diagnostics.rs')
-rw-r--r--crates/ide/src/diagnostics.rs10
1 files changed, 6 insertions, 4 deletions
diff --git a/crates/ide/src/diagnostics.rs b/crates/ide/src/diagnostics.rs
index c8453edb3..d09f3a0a1 100644
--- a/crates/ide/src/diagnostics.rs
+++ b/crates/ide/src/diagnostics.rs
@@ -610,10 +610,12 @@ fn test_fn() {
610 source_file_edits: [], 610 source_file_edits: [],
611 file_system_edits: [ 611 file_system_edits: [
612 CreateFile { 612 CreateFile {
613 anchor: FileId( 613 dst: AnchoredPathBuf {
614 0, 614 anchor: FileId(
615 ), 615 0,
616 dst: "foo.rs", 616 ),
617 path: "foo.rs",
618 },
617 }, 619 },
618 ], 620 ],
619 is_snippet: false, 621 is_snippet: false,