From ce83a9979969b5aba5de0a8dd633a85b04866e5f Mon Sep 17 00:00:00 2001
From: Radek Szymczyszyn <radoslaw.szymczyszyn@erlang-solutions.com>
Date: Sun, 29 Jan 2023 13:07:08 +0100
Subject: [PATCH] Fix call_intersect type and type_error/5 spec

---
 src/typechecker.erl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/typechecker.erl b/src/typechecker.erl
index 464d7188..fe422269 100644
--- a/src/typechecker.erl
+++ b/src/typechecker.erl
@@ -147,7 +147,7 @@
                | {type_error, type_error(), anno(), atom() | pattern(), type()}
                | {type_error, type_error(), unary_op() | binary_op(), anno(), type()}
                | {type_error, type_error(), binary_op(), anno(), type(), type()}
-               | {type_error, call_intersect, anno(), [type()], type(), expr()}
+               | {type_error, call_intersect, anno(), expr(), type(), [type()]}
                | {type_error, call_arity, anno(), atom(), arity(), arity()}
                | {undef, undef(), anno(), {atom(), atom() | non_neg_integer()} | mfa() | expr()}
                | {undef, undef(), expr()}
@@ -5628,6 +5628,7 @@ type_error(Kind, P, Info, Ty) ->
     {type_error, Kind, P, Info, Ty}.
 
 -spec type_error(call_arity, anno(), atom(), arity(), arity()) -> error();
+                (call_intersect, anno(), expr(), type(), [type()]) -> error();
                 (type_error(), binary_op(), anno(), type(), type()) -> error().
 type_error(Kind, Op, P, Ty1, Ty2) ->
     {type_error, Kind, Op, P, Ty1, Ty2}.