Merge pull request #1570 from GaloisInc/T1569

Apply `apSubst` to `Type` field of `EPropGuards` in `TVars` instance for `Expr`
GaloisInc · Sep 1, 2023 · 8f5586e · 8f5586e
2 parents 63f0ac6 + 2e8ec75
commit 8f5586e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Cryptol/TypeCheck/Subst.hs b/src/Cryptol/TypeCheck/Subst.hs
@@ -435,7 +435,9 @@ instance TVars Expr where
 
         EWhere e ds   -> EWhere !$ (go e) !$ (apSubst su ds)
 
-        EPropGuards guards ty -> EPropGuards !$ (\(props, e) -> (apSubst su `fmap'` props, apSubst su e)) `fmap'` guards .$ ty
+        EPropGuards guards ty -> EPropGuards
+          !$ (\(props, e) -> (apSubst su `fmap'` props, go e)) `fmap'` guards
+          !$ apSubst su ty
 
 instance TVars Match where
   apSubst su (From x len t e) = From x !$ (apSubst su len) !$ (apSubst su t) !$ (apSubst su e)