From 201259d50b936bdef5c4b7d54c5e6de0940a2aac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Wed, 20 Sep 2023 14:26:12 +0200 Subject: [PATCH] [TMP] Remove polymorphicInstance() from class type member types --- libsolidity/experimental/analysis/TypeInference.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/libsolidity/experimental/analysis/TypeInference.cpp b/libsolidity/experimental/analysis/TypeInference.cpp index 7d663e894..e0265ab6f 100644 --- a/libsolidity/experimental/analysis/TypeInference.cpp +++ b/libsolidity/experimental/analysis/TypeInference.cpp @@ -216,8 +216,7 @@ bool TypeInference::visit(TypeClassDefinition const& _typeClassDefinition) subNode->accept(*this); auto const* functionDefinition = dynamic_cast(subNode.get()); solAssert(functionDefinition); - // TODO: need polymorphicInstance? - auto functionType = polymorphicInstance(typeAnnotation(*functionDefinition)); + auto functionType = typeAnnotation(*functionDefinition); if (!functionTypes.emplace(functionDefinition->name(), functionType).second) m_errorReporter.fatalTypeError(3195_error, functionDefinition->location(), "Function in type class declared multiple times."); auto typeVars = TypeEnvironmentHelpers{*m_env}.typeVars(functionType);