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

Allow mutable borrows to coerce into immutable

Browse Source
This commit is contained in:
Sofia 2025-07-27 21:41:34 +03:00
parent 1c83ca44ab
commit cc367a38e7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -152,7 +152,7 @@ impl TypeKind {
(TypeKind::Borrow(val1, mut1), TypeKind::Borrow(val2, mut2)) => { (TypeKind::Borrow(val1, mut1), TypeKind::Borrow(val2, mut2)) => {
// Extracted to give priority for other collapse-error // Extracted to give priority for other collapse-error
let collapsed = val1.narrow_into(val2)?; let collapsed = val1.narrow_into(val2)?;
if mut1 == mut2 { if mut1 == mut2 || (*mut1 && !mut2) {
Ok(TypeKind::Borrow(Box::new(collapsed), *mut1 && *mut2)) Ok(TypeKind::Borrow(Box::new(collapsed), *mut1 && *mut2))
} else { } else {
Err(ErrorKind::TypesDifferMutability(self.clone(), other.clone())) Err(ErrorKind::TypesDifferMutability(self.clone(), other.clone()))