Merge pull request #330 from KisaragiEffective/feat/types/split-ref-a…

…nd-ptr
KisaragiEffective · Dec 20, 2023 · 55c9879 · 55c9879
2 parents daa964e + c5a2891
commit 55c9879
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/package/origlang-typesystem-model/src/lib.rs b/package/origlang-typesystem-model/src/lib.rs
@@ -72,9 +72,17 @@ pub enum Type {
     #[display(fmt = "{_0}")]
     Record(DisplayRecordType),
     #[display(fmt = "*const {_0}")]
-    Ref(Box<Self>),
+    Ptr(Box<Self>),
     #[display(fmt = "*mut {_0}")]
-    RefMut(Box<Self>)
+    PtrMut(Box<Self>),
+    /// same as [`Self::Ptr`], but requires to be properly aligned and not to be null even if
+    /// value of this type is never dereferenced.
+    #[display(fmt = "&{_0}")]
+    Ref(Box<Self>),
+    /// same as [`Self::PtrMut`], but requires to be properly aligned and not to be null even if
+    /// value of this type is never dereferenced.
+    #[display(fmt = "&mut {_0}")]
+    RefMut(Box<Self>),
 }
 
 impl Type {