From f177961fbf9bf25b99e85f30219ac8805cb0c548 Mon Sep 17 00:00:00 2001
From: ProgramSnail <PurpureBacterium@yandex.ru>
Date: Wed, 17 May 2023 11:51:26 +0300
Subject: [PATCH] .

---
 src/.type_check_visitor.cpp.kate-swp | Bin 123 -> 0 bytes
 src/type_check_visitor.cpp           |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 src/.type_check_visitor.cpp.kate-swp

diff --git a/src/.type_check_visitor.cpp.kate-swp b/src/.type_check_visitor.cpp.kate-swp
deleted file mode 100644
index 144402ca939849b679b0b7adb97966dfc2d54012..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 123
zcmZQzU=Z?7EJ;-eE>A2_aLdd|RWQ;sU|?Vnxh~;Sy!M&H7h&=BFV|P42Jji(QVI@Y
oU|_ull$8f!1y?v%4kU!&$^yA^uECyA#UL(YB7zT6%~<RT08ow@j{pDw

diff --git a/src/type_check_visitor.cpp b/src/type_check_visitor.cpp
index d718447..e8451f2 100644
--- a/src/type_check_visitor.cpp
+++ b/src/type_check_visitor.cpp
@@ -1492,7 +1492,7 @@ std::optional<FunctionDeclaration*>
                                           "TypeCheckVisitor.FindSubExpressionMethodAndUpdate");
     }
 
-    if (abstract_type_info->HaveTypeclass(typeclass_graph_.FindFunctionTypeclass(node->name).value())) {
+    if (abstract_type_info->HasTypeclass(typeclass_graph_.FindFunctionTypeclass(node->name).value())) {
       maybe_function_declaration = maybe_typeclass_function_info.value()->declaration;
     }
   } else {