Skip to content

Commit

Permalink
Fix accidental shadowing in Ty::subst
Browse files Browse the repository at this point in the history
  • Loading branch information
osa1 committed Jan 24, 2025
1 parent ddec948 commit 8c8926e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/type_checker/ty.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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(),
},
}
Expand Down

0 comments on commit 8c8926e

Please sign in to comment.