List of all items
Structs
- AnalysisOptions
- AnalysisResult
- AnalyzerTablesOwned
- BodyTypes
- CallGraph
- CoalesceChain
- CoalesceStep
- CueHarvest
- Def
- DirectCallArgMismatch
- EffectAtoms
- EffectRow
- FieldAssignMismatch
- FileId
- FnRow
- HarvestIndex
- HarvestNames
- HarvestSite
- ImportScope
- InferenceResult
- InferredSig
- LambdaAnnotationMismatch
- LambdaEscapeSlot
- LintPolicy
- NodeKey
- ProjectConfig
- ProtocolImplDecl
- ResolvedModule
- ResolvedParam
- ResolvedType
- SccGraph
- ShapeInfo
- ShapeTable
- SideTable
- Sig
- SpanHarvest
- SpanNames
- SymbolMeta
- TypedAssignMismatch
- UfcsArgMismatch
- UfcsCallArgs
- ValueCallFact
- ValueMeta
Enums
- CoalesceError
- CoalesceShape
- Dialect
- ExternalCheckSeverity
- InferredType
- LintLevel
- Protocol
- SemanticTypeDiagnosticSeverity
- Ty
- TypePolicy
- UfcsVerdict
- ValueCallKind
Functions
- analyze
- analyze_with_options
- annotation_mismatches
- assemble_analyzer_tables
- assignable
- await_condition_callees
- await_purity_diagnostics
- call_edges
- call_site_metas
- check_annotations
- check_anonymous_stateful
- check_native_choice_dead_end
- check_protocol_impls
- check_reserved_names
- coalesce
- coalesce_lir_lookup
- coalesce_types
- collect_external_sigs
- comparator_callees
- comparator_contract_diagnostics
- conventions_confinement_diagnostics
- conventions_module_diagnostics
- conventions_pointer_unresolvable_diagnostics
- conventions_unconfigured_diagnostics
- declared_shapes
- def_body
- def_effect_atoms
- effect_atom_name
- effective_severity
- effects_assertion_defs
- effects_assertion_diagnostics
- effects_project
- erase_fn_rows
- external_meta_diagnostics
- file_call_site_diagnostics
- file_value_meta
- finish_analysis
- harvest
- hir_has_await
- hir_has_comparator_site
- infer_project
- inferable_defs
- inferable_defs_from_index
- is_path_shaped_conventions_pointer
- is_reserved_protocol_name
- iterate_element_ty
- iterate_val_ty
- local_signature
- module_diagnostics
- native_strict_only_error
- no_world_reads_diagnostics
- per_file_diagnostics
- project_has_coalesce
- project_has_ufcs_call
- project_inline_docs
- ref_assignable
- referenced_globals
- resolve
- resolve_annotation
- resolve_type_policy
- resolve_ufcs_calls
- scc_graph
- signature
- solve_scc
- solve_scc_effects
- strict_diagnostics
- symbol_index
- symbol_index_with_modules
- ufcs_lir_lookup
- ufcs_resolution
- unify
- unify_all
- validate_admission
- validate_native_accept_list
- whole_project_diagnostics