From a5a294053db7d1d9dd6e029afbfce8b071f06aaf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= <kamil.sliwak@codepoets.it>
Date: Tue, 26 Jul 2022 12:39:33 +0200
Subject: [PATCH] [FIXUP] Extra assertions in the type checker

---
 libsolidity/analysis/TypeChecker.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libsolidity/analysis/TypeChecker.cpp b/libsolidity/analysis/TypeChecker.cpp
index d00675f16..d2cfd9015 100644
--- a/libsolidity/analysis/TypeChecker.cpp
+++ b/libsolidity/analysis/TypeChecker.cpp
@@ -3750,6 +3750,9 @@ void TypeChecker::endVisit(Literal const& _literal)
 		else
 		{
 			FunctionType const& functionType = dynamic_cast<FunctionType const&>(*declaration->type());
+			solAssert(!functionType.takesArbitraryParameters());
+			solAssert(functionType.kind() == FunctionType::Kind::Internal);
+
 			auto const* rationalType = dynamic_cast<RationalNumberType const*>(type);
 
 			optional<string> parameterCountMessage;