remove quotation from filename

2023-11-21 16:56:19 +03:00
parent 7bd385dc37
commit 0b25415559
2 changed files with 8 additions and 10 deletions
--- a/compiler/stable_mir/src/lib.rs
+++ b/compiler/stable_mir/src/lib.rs
@@ -110,7 +110,7 @@ pub enum ItemKind {
    Const,
 }

-pub type Filename = Opaque;
+pub type Filename = String;

 /// Holds information about an item in the crate.
 #[derive(Copy, Clone, PartialEq, Eq, Debug)]