Module types 

Type probes using Solar’s type-checker results.

Re-exports

use solar::sema::Gcx; 🔒

use solar::sema::Ty; 🔒

use solar::sema::hir; 🔒

use solar::sema::hir::ContractId; 🔒

use solar::sema::hir::Expr; 🔒

use solar::sema::hir::TypeKind; 🔒

use solar::sema::hir::VariableId; 🔒

use solar::sema::ty::TyKind; 🔒

Functions

expr_is_address

True when expr’s type-checked static type is address / address payable.

is_address_type

True if vid is typed as address/address payable.

is_elementary

True if id’s elementary type matches the given ABI string.

receiver_contract_id

Static contract type of a method-call receiver or direct contract/library reference.

ty_contract_id

The contract a type denotes, through references and type(C).

ty_is_address

address / address payable after peeling references.

unique

The only element of iter, or None when it has zero or several.