@@ -198,14 +198,13 @@ constrainCall rtv region func@(A.At funcRegion _) args expected =
199 let arityType = foldr FunN resultType argTypes
199 let arityType = foldr FunN resultType argTypes
200 let category = CallResult maybeName
200 let category = CallResult maybeName
201− let resultCon = CEqual region category resultType expected
203 return $ exists (funcVar:resultVar:argVars) $
202 return $ exists (funcVar:resultVar:argVars) $
205 [ funcCon
204 [ funcCon
206 , CEqual funcRegion category funcType (FromContext region (CallArity maybeName (length args)) arityType)
205 , CEqual funcRegion category funcType (FromContext region (CallArity maybeName (length args)) arityType)
207 , CAnd argCons
206 , CAnd argCons
208− , resultCon
207+ , CEqual region category resultType expected