From acad00f4615b88c8f6325987df85a76f66d52a9d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= <kamil.sliwak@codepoets.it>
Date: Wed, 13 Sep 2023 14:26:55 +0200
Subject: [PATCH] fixup! Type inference draft.

Rebase fixes
---
 libsolidity/experimental/ast/TypeSystem.cpp | 2 +-
 libsolidity/interface/CompilerStack.cpp     | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/libsolidity/experimental/ast/TypeSystem.cpp b/libsolidity/experimental/ast/TypeSystem.cpp
index 5347b3d15..0400f4196 100644
--- a/libsolidity/experimental/ast/TypeSystem.cpp
+++ b/libsolidity/experimental/ast/TypeSystem.cpp
@@ -138,7 +138,7 @@ TypeSystem::TypeSystem()
 	for (auto [type, name, arity]: std::initializer_list<std::tuple<PrimitiveType, char const*, size_t>>{
 		{PrimitiveType::TypeFunction, "tfun", 2},
 		{PrimitiveType::Function, "fun", 2},
-		{PrimitiveType::Function, "itself", 1},
+		{PrimitiveType::Itself, "itself", 1},
 		{PrimitiveType::Void, "void", 0},
 		{PrimitiveType::Unit, "unit", 0},
 		{PrimitiveType::Pair, "pair", 2},
diff --git a/libsolidity/interface/CompilerStack.cpp b/libsolidity/interface/CompilerStack.cpp
index 36a26ba40..91150ae74 100644
--- a/libsolidity/interface/CompilerStack.cpp
+++ b/libsolidity/interface/CompilerStack.cpp
@@ -1475,9 +1475,6 @@ void CompilerStack::generateIR(ContractDefinition const& _contract)
 {
 	solAssert(m_stackState >= AnalysisSuccessful, "");
 
-	if (m_experimentalAnalysis)
-		solThrow(CompilerError, "IR codegen after experimental analysis is unsupported.");
-
 	Contract& compiledContract = m_contracts.at(_contract.fullyQualifiedName());
 	if (!compiledContract.yulIR.empty())
 		return;