From 3dac602812235c6fb7ee669e8ce5bc1d37cd3d95 Mon Sep 17 00:00:00 2001 From: Gabriela Moreira Date: Fri, 8 Mar 2024 18:51:27 -0300 Subject: [PATCH] Update .unreleased/bug-fixes/quint-lambda-types-conversion.md Co-authored-by: Shon Feder --- .unreleased/bug-fixes/quint-lambda-types-conversion.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.unreleased/bug-fixes/quint-lambda-types-conversion.md b/.unreleased/bug-fixes/quint-lambda-types-conversion.md index b9931c0455..b3b202f8f8 100644 --- a/.unreleased/bug-fixes/quint-lambda-types-conversion.md +++ b/.unreleased/bug-fixes/quint-lambda-types-conversion.md @@ -1,2 +1,3 @@ -Use the type inferred by Quint to build lambda bodies, avoiding mismatches with +When converting Quint lambdas, derive the return type from the Quint type inferred for +the lambda, rather the type inferred for the body expression, avoiding mismatches with Apalache type variables. (#2856)