reference type checking

2025-04-11 02:16:16 -04:00
parent a1b3bda345
commit 07a9d6fee7
2 changed files with 30 additions and 15 deletions
--- a/src/ir/upper/validate.rs
+++ b/src/ir/upper/validate.rs
@@ -37,7 +37,9 @@ impl UProgram {
                    output.check_assign(self, &src.ty, &dest.ty, i.span);
                }
                UInstruction::Ref { dest, src } => {
-                    // TODO
+                    let dest = self.expect(dest.id);
+                    let src = self.expect(src.id);
+                    output.check_assign(self, &src.ty.clone().rf(), &dest.ty, i.span);
                }
                UInstruction::LoadData { dest, src } => {
                    let dest = self.expect(dest.id);