fix: don't pass Ref as arg to recursive calls

This commit is contained in:
Shunsuke Shibayama 2024-10-04 11:16:51 +09:00
parent 841826d499
commit 3066781092
4 changed files with 30 additions and 26 deletions

View file

@ -3827,7 +3827,7 @@ impl Context {
match p {
TyParam::Value(v) => Ok(v_enum(set![v])),
TyParam::Erased(t) => Ok((*t).clone()),
TyParam::FreeVar(fv) if fv.is_linked() => self.get_tp_t(&fv.crack()),
TyParam::FreeVar(fv) if fv.is_linked() => self.get_tp_t(&fv.unwrap_linked()),
TyParam::FreeVar(fv) => {
if let Some(t) = fv.get_type() {
Ok(t)