From 7e149619f54c0d57c402a5aa8f60415091971499 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Valim?= Date: Mon, 30 Dec 2024 11:07:22 +0100 Subject: [PATCH] Fix expression-tag pairing inside with type checking --- lib/elixir/lib/module/types/expr.ex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/elixir/lib/module/types/expr.ex b/lib/elixir/lib/module/types/expr.ex index 22bddbbf5c..ff7f564650 100644 --- a/lib/elixir/lib/module/types/expr.ex +++ b/lib/elixir/lib/module/types/expr.ex @@ -518,7 +518,7 @@ defmodule Module.Types.Expr do defp with_clause({:<-, _meta, [left, right]} = expr, stack, context) do {pattern, guards} = extract_head([left]) - {_type, context} = Pattern.of_match(pattern, guards, dynamic(), :with, expr, stack, context) + {_type, context} = Pattern.of_match(pattern, guards, dynamic(), expr, :with, stack, context) {_, context} = of_expr(right, stack, context) context end