Open
0 of 2 issues completedDescription
Implement the various checks implemented in ContractLevelChecker. These go in sema/typeck
solar/crates/sema/src/typeck/mod.rs
Line 10 in 6dcf4dc
-
checkDuplicateFunctions -
checkDuplicateEvents -
checkReceiveFunctionfeat(sema): implement receive function checks #321 -
OverrideChecker,checkAbstractDefinitionsImplementOverrideChecker#301 -
checkBaseConstructorArgumentsResolve constructor base arguments #304 -
checkExternalTypeClashesfeat: typecheck for external type clashes #312 -
checkHashCollisions(implemented ininterface_functions) -
checkLibraryRequirements -
checkBaseABICompatibility -
checkPayableFallbackWithoutReceivefeat: warn when payable fallback function found but no receive function #170 -
checkStorageSizefeat: checks on upper bounds of contract storage sizes #169
Reference solc implementation: https://github.com/ethereum/solidity/blob/d42f92bd68d76db01b0dc17477cd4c7716059d93/libsolidity/analysis/ContractLevelChecker.cpp#L84-L102