cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixup! Type inference draft.

Browse Source
This commit is contained in:
Kamil Śliwak 2023-09-18 10:51:31 +02:00
parent 2956345cd4
commit 6621dc6ba5
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
libsolidity/experimental/analysis/TypeInference.cpp
View File

@ -780,11 +780,11 @@ bool TypeInference::visit(MemberAccess const& _memberAccess)
experimental::Type TypeInference::memberType(Type _type, std::string _memberName, langutil::SourceLocation _location)
{
Type type = m_env->resolve(_type);
Type resolvedType = m_env->resolve(_type);
TypeSystemHelpers helper{m_typeSystem};
if (helper.isTypeConstant(type))
if (helper.isTypeConstant(resolvedType))
{
auto constructor = std::get<0>(helper.destTypeConstant(type));
auto constructor = std::get<0>(helper.destTypeConstant(resolvedType));
if (auto* typeMember = util::valueOrNullptr(annotation().members.at(constructor), _memberName))
return polymorphicInstance(typeMember->type);
else