cerc-io/solidity
10
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-28 15:07:28 +02:00
parent ff06778fee
commit ef4864c576
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1086,8 +1086,8 @@ TypeRegistration::TypeClassInstantiations const& typeClassInstantiations(Analysi
if (typeClassDeclaration) if (typeClassDeclaration)
return _analysis.annotation<TypeRegistration>(*typeClassDeclaration).instantiations; return _analysis.annotation<TypeRegistration>(*typeClassDeclaration).instantiations;
// TODO: better mechanism than fetching by name. // TODO: better mechanism than fetching by name.
auto& annotation = _analysis.annotation<TypeRegistration>(); auto const& annotation = _analysis.annotation<TypeRegistration>();
auto& inferenceAnnotation = _analysis.annotation<TypeInference>(); auto const& inferenceAnnotation = _analysis.annotation<TypeInference>();
return annotation.builtinClassInstantiations.at( return annotation.builtinClassInstantiations.at(
inferenceAnnotation.builtinClassesByName.at( inferenceAnnotation.builtinClassesByName.at(
_analysis.typeSystem().typeClassName(_class) _analysis.typeSystem().typeClassName(_class)