From 8c8926eba7830e5d0125773994276fbc2d2faee4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=96mer=20Sinan=20A=C4=9Facan?= <omeragacan@gmail.com>
Date: Fri, 24 Jan 2025 19:34:06 +0100
Subject: [PATCH] Fix accidental shadowing in Ty::subst

---
 src/type_checker/ty.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/type_checker/ty.rs b/src/type_checker/ty.rs
index c77fb0e..1cde5df 100644
--- a/src/type_checker/ty.rs
+++ b/src/type_checker/ty.rs
@@ -766,8 +766,8 @@ impl Ty {
                 exceptions: exceptions.as_ref().map(|exn| Box::new(exn.subst(var, ty))),
             },
 
-            Ty::AssocTySelect { ty, assoc_ty } => Ty::AssocTySelect {
-                ty: Box::new(ty.subst(var, ty)),
+            Ty::AssocTySelect { ty: ty_, assoc_ty } => Ty::AssocTySelect {
+                ty: Box::new(ty_.subst(var, ty)),
                 assoc_ty: assoc_ty.clone(),
             },
         }