diff options
Diffstat (limited to 'src/type/subst.rs')
| -rw-r--r-- | src/type/subst.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type/subst.rs b/src/type/subst.rs index d63f71b..12a9f15 100644 --- a/src/type/subst.rs +++ b/src/type/subst.rs @@ -33,6 +33,8 @@ impl Type { .collect() ), + VecOf(ty) => vecof((*ty).subst(name, value)), + VarType(s) if s == name => value.clone(), VarType(s) => VarType(s), |