teascade/reid-llvm
1
0
Fork 0
Code Issues Pull Requests Packages Releases 3 Wiki Activity

Fix casting indexed accesses

Browse Source
This commit is contained in:
Sofia 2025-07-25 21:27:21 +03:00
parent 5149ef8727
commit 8396aa4613
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
reid/src/mir/typecheck/mod.rs
View File

@ -125,6 +125,12 @@ impl TypeKind {
(TypeKind::UserPtr(val1), TypeKind::UserPtr(val2)) => {
Ok(TypeKind::UserPtr(Box::new(val1.narrow_into(val2)?)))
}
(TypeKind::Array(val1, len1), TypeKind::Array(val2, len2)) => {
if len1 != len2 {
return Err(ErrorKind::TypesIncompatible(self.clone(), other.clone()));
}
Ok(TypeKind::Array(Box::new(val1.narrow_into(val2)?), *len1))
}
_ => Err(ErrorKind::TypesIncompatible(self.clone(), other.clone())),
}
}