Module external_function

Structs§

IndexBuilder 🔒: HIR visitor that records every FunctionId referenced via an Ident and every name on the right-hand side of a super.<name> access. Stmt/expr recursion is handled by hir::Visit’s default walks so adding a new HIR variant only updates this in one place.
ParamEscapeFinder 🔒
ProjectIndex 🔒

PROJECT_INDEX 🔒: Project index keyed by the [hir::Hir] address. The HIR lives inside the [solar::sema::Compiler] for the whole lint run, so its address is stable and the same index can be reused across every contract instead of rebuilt per source.

any_override_referenced 🔒: Returns true if any function in contract_id or a derivative shares base’s name and arity and is present in referenced (a call to an override conceptually targets the base’s slot). Match is name + arity only — solar’s HIR TypeKind has no structural equality — so same-arity overloads are conflated, yielding only false negatives.
body_escapes_params 🔒: Returns true if any param is written, aliased, or passed to a callee that could mutate it via the internal-call memory-reference aliasing rule.
build_project_index 🔒
expr_root_is_param 🔒: Returns true if the root of expr — after peeling parens / members / indexes / slices — is an Ident resolving to one of params.
is_type_conversion_callee 🔒: Returns true if callee is a type conversion or new T(...) expression.
lhs_is_local_memory_reference 🔒: Returns true if the root of lhs resolves to a local variable with reference type in memory.
modifier_args_reference_params 🔒: Returns true if any modifier invocation passes one of params as an argument. Modifier memory args alias caller memory the same way internal call args do.
project_index_for 🔒
super_called_from_derivative 🔒: Returns true if any strict descendant of base_contract_id contains a super.<name> call (the only callsites that can resolve into base_contract_id).