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

Apply same self-thing to all dot-syntaxes, actually

Browse Source
This commit is contained in:
Sofia 2025-07-28 01:10:27 +03:00
parent 4844cebd56
commit 2a6aceb052
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
reid/src/mir/typecheck/typeinference.rs
View File

@ -609,18 +609,18 @@ impl Expression {
Void, Void,
first_param.1, first_param.1,
) )
.unroll_borrows()
.resolve_ref(type_refs.types); .resolve_ref(type_refs.types);
let backing_var = first_param.backing_var().expect("todo").1.clone(); let backing_var = first_param.backing_var().expect("todo").1.clone();
*first_param = if backing_var == "self" { if let TypeKind::Borrow(inner, _) = type_kind {
if let TypeKind::Borrow(..) = *inner.clone() {
*type_kind = type_kind.unroll_borrows();
let ExprKind::Borrow(val, _) = &first_param.0 else { let ExprKind::Borrow(val, _) = &first_param.0 else {
panic!() panic!()
}; };
*val.clone() *first_param = *val.clone();
} else { }
first_param.clone() }
};
if let Some((mutable, _)) = type_refs.find_var(&backing_var) { if let Some((mutable, _)) = type_refs.find_var(&backing_var) {
if !mutable { if !mutable {