List of all items

Structs

• LocalItem
• LocalVariable
• ParamId
• Parameter
• db::AnalyzerPluginsQuery
• db::CanonicTraitSolutionsQuery
• db::ConcreteFunctionSignatureQuery
• db::ConcreteStructMembersQuery
• db::ConcreteTraitConstantTypeQuery
• db::ConcreteTraitFunctionGenericParamsQuery
• db::ConcreteTraitFunctionSignatureQuery
• db::ConcreteTraitImplConcreteTraitQuery
• db::ConstantConstTypeQuery
• db::ConstantConstValueQuery
• db::ConstantResolverDataQuery
• db::ConstantSemanticDataQuery
• db::ConstantSemanticDiagnosticsQuery
• db::CoreCrateQuery
• db::CoreFelt252TyQuery
• db::CoreModuleQuery
• db::DeclaredAllowsQuery
• db::EnumAttributesQuery
• db::EnumDeclarationDiagnosticsQuery
• db::EnumDeclarationResolverDataQuery
• db::EnumDefinitionDiagnosticsQuery
• db::EnumDefinitionResolverDataQuery
• db::EnumGenericParamsDataQuery
• db::EnumGenericParamsQuery
• db::EnumVariantsQuery
• db::ExprSemanticQuery
• db::ExternFunctionDeclarationDiagnosticsQuery
• db::ExternFunctionDeclarationGenericParamsDataQuery
• db::ExternFunctionDeclarationGenericParamsQuery
• db::ExternFunctionDeclarationImplicitsQuery
• db::ExternFunctionDeclarationInlineConfigQuery
• db::ExternFunctionDeclarationRefsQuery
• db::ExternFunctionDeclarationResolverDataQuery
• db::ExternFunctionSignatureQuery
• db::ExternTypeAttributesQuery
• db::ExternTypeDeclarationDiagnosticsQuery
• db::ExternTypeDeclarationGenericParamsDataQuery
• db::ExternTypeDeclarationGenericParamsQuery
• db::FileSemanticDiagnosticsQuery
• db::FreeFunctionBodyDiagnosticsQuery
• db::FreeFunctionBodyResolverDataQuery
• db::FreeFunctionDeclarationDiagnosticsQuery
• db::FreeFunctionDeclarationImplicitPrecedenceQuery
• db::FreeFunctionDeclarationImplicitsQuery
• db::FreeFunctionDeclarationInlineConfigQuery
• db::FreeFunctionDeclarationResolverDataQuery
• db::FreeFunctionGenericParamsDataQuery
• db::FreeFunctionGenericParamsQuery
• db::FreeFunctionSignatureQuery
• db::FunctionBodyDiagnosticsQuery
• db::FunctionBodyExprQuery
• db::FunctionBodyQuery
• db::FunctionDeclarationDiagnosticsQuery
• db::FunctionDeclarationImplicitPrecedenceQuery
• db::FunctionDeclarationInlineConfigQuery
• db::FunctionTitleGenericParamsQuery
• db::FunctionTitleSignatureQuery
• db::FunctionWithBodyAttributesQuery
• db::FunctionWithBodyGenericParamsQuery
• db::FunctionWithBodySignatureQuery
• db::GenericImplParamTraitQuery
• db::GenericParamDiagnosticsQuery
• db::GenericParamResolverDataQuery
• db::GenericParamSemanticQuery
• db::GenericTypeGenericParamsQuery
• db::GlobalUseSemanticDiagnosticsQuery
• db::ImplAliasAttributesQuery
• db::ImplAliasGenericParamsDataQuery
• db::ImplAliasGenericParamsQuery
• db::ImplAliasImplDefQuery
• db::ImplAliasResolvedImplQuery
• db::ImplAliasResolverDataQuery
• db::ImplAliasSemanticDiagnosticsQuery
• db::ImplAllUsedItemsQuery
• db::ImplConcreteTraitQuery
• db::ImplConstantByTraitConstantQuery
• db::ImplConstantConcreteImplizedTypeQuery
• db::ImplConstantConcreteImplizedValueQuery
• db::ImplConstantDefResolverDataQuery
• db::ImplConstantDefSemanticDiagnosticsQuery
• db::ImplConstantDefTraitConstantQuery
• db::ImplConstantDefValueQuery
• db::ImplConstantImplizedByContextQuery
• db::ImplConstantsQuery
• db::ImplDefAttributesQuery
• db::ImplDefConcreteTraitQuery
• db::ImplDefGenericParamsDataQuery
• db::ImplDefGenericParamsQuery
• db::ImplDefResolverDataQuery
• db::ImplDefSubstitutionQuery
• db::ImplDefTraitQuery
• db::ImplFunctionAttributesQuery
• db::ImplFunctionBodyDiagnosticsQuery
• db::ImplFunctionBodyQuery
• db::ImplFunctionBodyResolverDataQuery
• db::ImplFunctionByTraitFunctionQuery
• db::ImplFunctionDeclarationDiagnosticsQuery
• db::ImplFunctionDeclarationImplicitPrecedenceQuery
• db::ImplFunctionDeclarationImplicitsQuery
• db::ImplFunctionDeclarationInlineConfigQuery
• db::ImplFunctionGenericParamsQuery
• db::ImplFunctionResolverDataQuery
• db::ImplFunctionSignatureQuery
• db::ImplFunctionTraitFunctionQuery
• db::ImplFunctionsQuery
• db::ImplImplByIdQuery
• db::ImplImplByTraitImplQuery
• db::ImplImplConcreteImplizedQuery
• db::ImplImplConcreteTraitQuery
• db::ImplImplDefImplQuery
• db::ImplImplDefResolverDataQuery
• db::ImplImplDefSemanticDiagnosticsQuery
• db::ImplImplDefTraitImplQuery
• db::ImplImplIdsForTraitFilterQuery
• db::ImplImplIdsQuery
• db::ImplImplImplizedByContextQuery
• db::ImplImplicitImplByNameQuery
• db::ImplImplsQuery
• db::ImplItemByNameQuery
• db::ImplSemanticDeclarationDiagnosticsQuery
• db::ImplSemanticDefinitionDiagnosticsQuery
• db::ImplTypeByIdQuery
• db::ImplTypeByTraitTypeQuery
• db::ImplTypeConcreteImplizedQuery
• db::ImplTypeDefAttributesQuery
• db::ImplTypeDefGenericParamsQuery
• db::ImplTypeDefResolvedTypeQuery
• db::ImplTypeDefResolverDataQuery
• db::ImplTypeDefSemanticDiagnosticsQuery
• db::ImplTypeDefTraitTypeQuery
• db::ImplTypeIdsQuery
• db::ImplTypesQuery
• db::ImplicitImplImplImplQuery
• db::ImplicitImplImplSemanticDiagnosticsQuery
• db::InternConcreteEnumLookupQuery
• db::InternConcreteEnumQuery
• db::InternConcreteExternTypeLookupQuery
• db::InternConcreteExternTypeQuery
• db::InternConcreteFunctionWithBodyLookupQuery
• db::InternConcreteFunctionWithBodyQuery
• db::InternConcreteImplLookupQuery
• db::InternConcreteImplQuery
• db::InternConcreteStructLookupQuery
• db::InternConcreteStructQuery
• db::InternConcreteTraitConstantLookupQuery
• db::InternConcreteTraitConstantQuery
• db::InternConcreteTraitFunctionLookupQuery
• db::InternConcreteTraitFunctionQuery
• db::InternConcreteTraitImplLookupQuery
• db::InternConcreteTraitImplQuery
• db::InternConcreteTraitLookupQuery
• db::InternConcreteTraitQuery
• db::InternConcreteTraitTypeLookupQuery
• db::InternConcreteTraitTypeQuery
• db::InternConstValueLookupQuery
• db::InternConstValueQuery
• db::InternFunctionLookupQuery
• db::InternFunctionQuery
• db::InternGeneratedImplLookupQuery
• db::InternGeneratedImplQuery
• db::InternImplLookupQuery
• db::InternImplQuery
• db::InternImplVarLookupQuery
• db::InternImplVarQuery
• db::InternTypeLookupQuery
• db::InternTypeQuery
• db::InternUninferredGeneratedImplLookupQuery
• db::InternUninferredGeneratedImplQuery
• db::IsImplicitImplImplQuery
• db::LookupResolvedConcreteItemByPtrQuery
• db::LookupResolvedGenericItemByPtrQuery
• db::MethodsInCrateQuery
• db::MethodsInModuleQuery
• db::ModuleAllUsedItemsQuery
• db::ModuleAttributesQuery
• db::ModuleImplIdsForTraitFilterQuery
• db::ModuleItemByNameQuery
• db::ModuleItemInfoByNameQuery
• db::ModuleSemanticDiagnosticsQuery
• db::ModuleTypeAliasGenericParamsQuery
• db::ModuleTypeAliasResolvedTypeQuery
• db::ModuleTypeAliasResolverDataQuery
• db::ModuleTypeAliasSemanticDiagnosticsQuery
• db::ModuleUsableTraitIdsQuery
• db::PatternSemanticQuery
• db::PrivConstantSemanticDataQuery
• db::PrivEnumDeclarationDataQuery
• db::PrivEnumDefinitionDataQuery
• db::PrivExternFunctionDeclarationDataQuery
• db::PrivExternTypeDeclarationDataQuery
• db::PrivFreeFunctionBodyDataQuery
• db::PrivFreeFunctionDeclarationDataQuery
• db::PrivGenericParamDataQuery
• db::PrivGlobalUseImportedModuleQuery
• db::PrivGlobalUseSemanticDataQuery
• db::PrivImplAliasSemanticDataQuery
• db::PrivImplConstantSemanticDataQuery
• db::PrivImplDeclarationDataQuery
• db::PrivImplDefinitionDataQuery
• db::PrivImplFunctionBodyDataQuery
• db::PrivImplFunctionDeclarationDataQuery
• db::PrivImplFunctionGenericParamsDataQuery
• db::PrivImplImplDefGenericParamsDataQuery
• db::PrivImplImplSemanticDataQuery
• db::PrivImplIsFullyConcreteQuery
• db::PrivImplIsVarFreeQuery
• db::PrivImplTypeDefGenericParamsDataQuery
• db::PrivImplTypeSemanticDataQuery
• db::PrivImplicitImplImplSemanticDataQuery
• db::PrivModuleSemanticDataQuery
• db::PrivModuleTypeAliasGenericParamsDataQuery
• db::PrivModuleTypeAliasSemanticDataQuery
• db::PrivModuleUseStarModulesQuery
• db::PrivStructDeclarationDataQuery
• db::PrivStructDefinitionDataQuery
• db::PrivTraitConstantDataQuery
• db::PrivTraitDeclarationDataQuery
• db::PrivTraitDefinitionDataQuery
• db::PrivTraitFunctionBodyDataQuery
• db::PrivTraitFunctionDeclarationDataQuery
• db::PrivTraitFunctionGenericParamsDataQuery
• db::PrivTraitImplDataQuery
• db::PrivTraitTypeDataQuery
• db::PrivTraitTypeGenericParamsDataQuery
• db::PrivTypeIsFullyConcreteQuery
• db::PrivTypeIsVarFreeQuery
• db::PrivUseSemanticDataQuery
• db::SemanticDatabase
• db::SemanticGroupGroupStorage__
• db::SingleValueTypeQuery
• db::StatementSemanticQuery
• db::StructAttributesQuery
• db::StructDeclarationDiagnosticsQuery
• db::StructDeclarationResolverDataQuery
• db::StructDefinitionDiagnosticsQuery
• db::StructDefinitionResolverDataQuery
• db::StructGenericParamsDataQuery
• db::StructGenericParamsQuery
• db::StructMembersQuery
• db::TraitAllUsedItemsQuery
• db::TraitAttributesQuery
• db::TraitConstantAttributesQuery
• db::TraitConstantByNameQuery
• db::TraitConstantDiagnosticsQuery
• db::TraitConstantResolverDataQuery
• db::TraitConstantTypeQuery
• db::TraitConstantsQuery
• db::TraitFunctionAttributesQuery
• db::TraitFunctionBodyDiagnosticsQuery
• db::TraitFunctionBodyQuery
• db::TraitFunctionByNameQuery
• db::TraitFunctionDeclarationDiagnosticsQuery
• db::TraitFunctionDeclarationImplicitPrecedenceQuery
• db::TraitFunctionDeclarationImplicitsQuery
• db::TraitFunctionDeclarationInlineConfigQuery
• db::TraitFunctionGenericParamsQuery
• db::TraitFunctionResolverDataQuery
• db::TraitFunctionSignatureQuery
• db::TraitFunctionsQuery
• db::TraitGenericParamsDataQuery
• db::TraitGenericParamsQuery
• db::TraitImplAttributesQuery
• db::TraitImplByNameQuery
• db::TraitImplConcreteTraitQuery
• db::TraitImplDiagnosticsQuery
• db::TraitImplResolverDataQuery
• db::TraitImplsQuery
• db::TraitItemByNameQuery
• db::TraitRequiredItemNamesQuery
• db::TraitResolverDataQuery
• db::TraitSemanticDeclarationDiagnosticsQuery
• db::TraitSemanticDefinitionDiagnosticsQuery
• db::TraitTypeAttributesQuery
• db::TraitTypeByNameQuery
• db::TraitTypeDiagnosticsQuery
• db::TraitTypeGenericParamsQuery
• db::TraitTypeImplizedByContextQuery
• db::TraitTypeResolverDataQuery
• db::TraitTypesQuery
• db::TypeInfoQuery
• db::TypeSizeInfoQuery
• db::UseResolverDataQuery
• db::UseSemanticDiagnosticsQuery
• db::VariantSemanticQuery
• db::VisibleTraitsFromModuleQuery
• db::VisibleTraitsInCrateQuery
• db::VisibleTraitsInModuleQuery
• diagnostic::SemanticDiagnostic
• diagnostic::TraitInferenceErrors
• expr::compute::ComputationContext
• expr::compute::Environment
• expr::compute::ExprAndId
• expr::compute::NamedArg
• expr::compute::PatternAndId
• expr::fmt::ExprFormatter
• expr::inference::ConstVar
• expr::inference::ErrorSet
• expr::inference::ImplVar
• expr::inference::ImplVarId
• expr::inference::ImplVarTraitItemMappings
• expr::inference::Inference
• expr::inference::InferenceData
• expr::inference::LocalConstVarId
• expr::inference::LocalImplVarId
• expr::inference::LocalTypeVarId
• expr::inference::TypeVar
• expr::inference::canonic::CanonicalImpl
• expr::inference::canonic::CanonicalMapping
• expr::inference::canonic::CanonicalTrait
• expr::inference::canonic::MapperError
• expr::inference::canonic::VarMapping
• expr::inference::solver::CandidateSolver
• expr::inference::solver::Solver
• expr::objects::Arenas
• expr::objects::ExprAssignment
• expr::objects::ExprBlock
• expr::objects::ExprClosure
• expr::objects::ExprConstant
• expr::objects::ExprDesnap
• expr::objects::ExprEnumVariantCtor
• expr::objects::ExprFixedSizeArray
• expr::objects::ExprFor
• expr::objects::ExprFunctionCall
• expr::objects::ExprIf
• expr::objects::ExprLiteral
• expr::objects::ExprLogicalOperator
• expr::objects::ExprLoop
• expr::objects::ExprMatch
• expr::objects::ExprMemberAccess
• expr::objects::ExprMissing
• expr::objects::ExprPropagateError
• expr::objects::ExprSnapshot
• expr::objects::ExprStringLiteral
• expr::objects::ExprStructCtor
• expr::objects::ExprTuple
• expr::objects::ExprUse
• expr::objects::ExprVar
• expr::objects::ExprWhile
• expr::objects::MatchArm
• expr::objects::StatementBreak
• expr::objects::StatementContinue
• expr::objects::StatementExpr
• expr::objects::StatementItem
• expr::objects::StatementLet
• expr::objects::StatementReturn
• expr::pattern::PatternEnumVariant
• expr::pattern::PatternFixedSizeArray
• expr::pattern::PatternLiteral
• expr::pattern::PatternMissing
• expr::pattern::PatternOtherwise
• expr::pattern::PatternStringLiteral
• expr::pattern::PatternStruct
• expr::pattern::PatternTuple
• expr::pattern::PatternVariable
• expr::pattern::QueryPatternVariablesFromDb
• items::constant::ConstValueId
• items::constant::Constant
• items::constant::ConstantData
• items::constant::ImplConstantId
• items::enm::ConcreteVariant
• items::enm::EnumDeclarationData
• items::enm::EnumDefinitionData
• items::enm::ValueSelectorArm
• items::enm::Variant
• items::extern_type::ExternTypeDeclarationData
• items::feature_kind::FeatureConfig
• items::feature_kind::FeatureConfigRestore
• items::function_with_body::FunctionBody
• items::function_with_body::FunctionBodyData
• items::functions::ConcreteFunction
• items::functions::ConcreteFunctionWithBody
• items::functions::ConcreteFunctionWithBodyId
• items::functions::FunctionDeclarationData
• items::functions::FunctionId
• items::functions::FunctionLongId
• items::functions::ImplGenericFunctionId
• items::functions::ImplGenericFunctionWithBodyId
• items::functions::ImplicitPrecedence
• items::functions::Signature
• items::generics::GenericParamConst
• items::generics::GenericParamData
• items::generics::GenericParamImpl
• items::generics::GenericParamType
• items::generics::GenericParamsData
• items::imp::ConcreteImplId
• items::imp::ConcreteImplLongId
• items::imp::GeneratedImplId
• items::imp::GeneratedImplItems
• items::imp::GeneratedImplLongId
• items::imp::ImplDeclarationData
• items::imp::ImplDefinitionData
• items::imp::ImplFunctionDeclarationData
• items::imp::ImplId
• items::imp::ImplImplId
• items::imp::ImplItemConstantData
• items::imp::ImplItemImplData
• items::imp::ImplItemTypeData
• items::imp::ImplLookupContext
• items::imp::ImplicitImplImplData
• items::imp::TraitFilter
• items::imp::UninferredGeneratedImplId
• items::imp::UninferredGeneratedImplLongId
• items::impl_alias::ImplAliasData
• items::module::ModuleItemInfo
• items::module::ModuleSemanticData
• items::module_type_alias::ModuleTypeAliasData
• items::structure::Member
• items::structure::StructDeclarationData
• items::structure::StructDefinitionData
• items::trt::ConcreteTraitConstantId
• items::trt::ConcreteTraitConstantLongId
• items::trt::ConcreteTraitGenericFunctionId
• items::trt::ConcreteTraitGenericFunctionLongId
• items::trt::ConcreteTraitId
• items::trt::ConcreteTraitImplId
• items::trt::ConcreteTraitImplLongId
• items::trt::ConcreteTraitLongId
• items::trt::ConcreteTraitTypeId
• items::trt::ConcreteTraitTypeLongId
• items::trt::TraitDeclarationData
• items::trt::TraitDefinitionData
• items::trt::TraitItemConstantData
• items::trt::TraitItemImplData
• items::trt::TraitItemTypeData
• items::type_aliases::TypeAliasData
• items::us::ImportedModules
• items::us::UseData
• items::us::UseGlobalData
• plugin::PluginSuite
• resolve::EnrichedMembers
• resolve::EnrichedTypeMemberAccess
• resolve::ResolvedItems
• resolve::Resolver
• resolve::ResolverData
• substitution::GenericSubstitution
• substitution::SubstitutionRewriter
• types::ClosureTypeLongId
• types::ConcreteEnumId
• types::ConcreteEnumLongId
• types::ConcreteExternTypeId
• types::ConcreteExternTypeLongId
• types::ConcreteStructId
• types::ConcreteStructLongId
• types::ImplTypeId
• types::TypeId
• types::TypeInfo
• usage::Usage
• usage::Usages

Enums

• Binding
• Mutability
• StatementItemKind
• VarId
• corelib::CoreTraitContext
• corelib::ErrorPropagationType
• corelib::LiteralError
• diagnostic::ElementKind
• diagnostic::MultiArmExprKind
• diagnostic::NotFoundItemType
• diagnostic::SemanticDiagnosticKind
• diagnostic::UnsupportedOutsideOfFunctionFeatureName
• expr::compute::ContextFunction
• expr::inference::InferenceError
• expr::inference::InferenceErrorStatus
• expr::inference::InferenceId
• expr::inference::InferenceVar
• expr::inference::canonic::NoError
• expr::inference::solver::Ambiguity
• expr::inference::solver::SolutionSet
• expr::objects::Condition
• expr::objects::Expr
• expr::objects::ExprFunctionCallArg
• expr::objects::ExprVarMemberPath
• expr::objects::FixedSizeArrayItems
• expr::objects::LogicalOperator
• expr::objects::Statement
• expr::pattern::Pattern
• items::TraitOrImplContext
• items::constant::ConstValue
• items::enm::MatchArmSelector
• items::feature_kind::FeatureKind
• items::feature_kind::FeatureMarkerDiagnostic
• items::functions::GenericFunctionId
• items::functions::GenericFunctionWithBodyId
• items::functions::ImplFunctionBodyId
• items::functions::InlineConfiguration
• items::generics::GenericArgumentHead
• items::generics::GenericArgumentId
• items::generics::GenericParam
• items::imp::GeneratedImplAssociatedTypes
• items::imp::GenericsHeadFilter
• items::imp::ImplHead
• items::imp::ImplLongId
• items::imp::ImplOrModuleById
• items::imp::UninferredImpl
• items::visibility::Visibility
• lsp_helpers::TypeFilter
• resolve::ResolvedConcreteItem
• resolve::ResolvedGenericItem
• substitution::RewriteResult
• types::ConcreteTypeId
• types::TypeHead
• types::TypeLongId
• types::TypeSizeInformation
• usage::MemberPath

Traits

• db::Elongate
• db::SemanticGroup
• diagnostic::SemanticDiagnosticsBuilder
• expr::inference::canonic::ResultNoErrEx
• expr::inference::conform::InferenceConform
• expr::inference::infers::InferenceEmbeddings
• expr::pattern::PatternVariablesQueryable
• items::attribute::AttributeTrait
• items::attribute::SemanticQueryAttrs
• items::enm::SemanticEnumEx
• items::function_with_body::SemanticExprLookup
• items::us::SemanticUseEx
• lookup_item::HasResolverData
• lookup_item::LookupItemEx
• plugin::AnalyzerPlugin
• resolve::AsSegments
• substitution::HasDb
• substitution::SemanticObject
• substitution::SemanticRewriter

Macros

• add_basic_rewrites
• add_expr_rewrites
• add_rewrite
• add_rewrite_identity
• prune_single
• semantic_object_for_id

Functions

• corelib::bounded_int_ty
• corelib::concrete_copy_trait
• corelib::concrete_destruct_trait
• corelib::concrete_drop_trait
• corelib::concrete_iterator_trait
• corelib::concrete_panic_destruct_trait
• corelib::copy_trait
• corelib::core_array_felt252_ty
• corelib::core_binary_operator
• corelib::core_bool_enum
• corelib::core_bool_ty
• corelib::core_box_ty
• corelib::core_crate
• corelib::core_downcast
• corelib::core_felt252_is_zero
• corelib::core_felt252_ty
• corelib::core_module
• corelib::core_nonzero_ty
• corelib::core_option_ty
• corelib::core_result_ty
• corelib::core_submodule
• corelib::core_unary_operator
• corelib::core_withdraw_gas_fns
• corelib::deref_mut_trait
• corelib::deref_trait
• corelib::destruct_trait
• corelib::destruct_trait_fn
• corelib::drop_trait
• corelib::false_literal_expr
• corelib::false_variant
• corelib::felt252_eq
• corelib::felt252_sub
• corelib::fn_call_trait_fn
• corelib::fn_once_call_trait_fn
• corelib::fn_once_trait
• corelib::fn_trait
• corelib::fn_traits
• corelib::get_convert_to_felt252_libfunc_name_by_type
• corelib::get_core_enum_concrete_variant
• corelib::get_core_function_id
• corelib::get_core_generic_function_id
• corelib::get_core_trait
• corelib::get_core_ty_by_name
• corelib::get_enum_concrete_variant
• corelib::get_function_id
• corelib::get_generic_function_id
• corelib::get_panic_ty
• corelib::get_submodule
• corelib::get_ty_by_name
• corelib::get_usize_ty
• corelib::internal_require_implicit
• corelib::into_iterator_trait
• corelib::jump_nz_nonzero_variant
• corelib::jump_nz_zero_variant
• corelib::never_ty
• corelib::numeric_literal_trait
• corelib::option_none_variant
• corelib::option_some_variant
• corelib::panic_destruct_trait
• corelib::panic_destruct_trait_fn
• corelib::true_literal_expr
• corelib::true_variant
• corelib::try_extract_nz_wrapped_type
• corelib::try_get_core_ty_by_name
• corelib::try_get_ty_by_name
• corelib::unit_expr
• corelib::unit_ty
• corelib::unwrap_error_propagation_type
• corelib::validate_literal
• db::get_resolver_data_options
• db::lookup_resolved_concrete_item_by_ptr
• db::lookup_resolved_generic_item_by_ptr
• expr::compute::compute_expr_block_semantic
• expr::compute::compute_expr_semantic
• expr::compute::compute_named_argument_clause
• expr::compute::compute_pattern_semantic
• expr::compute::compute_root_expr
• expr::compute::compute_statement_semantic
• expr::compute::get_binded_expr_by_name
• expr::compute::get_statement_item_by_name
• expr::compute::maybe_compute_expr_semantic
• expr::compute::resolve_variable_by_name
• expr::inference::solver::canonic_trait_solutions
• expr::inference::solver::canonic_trait_solutions_cycle
• expr::inference::solver::enrich_lookup_context
• inline_macros::get_default_plugin_suite
• items::constant::constant_const_type
• items::constant::constant_const_type_cycle
• items::constant::constant_const_value
• items::constant::constant_const_value_cycle
• items::constant::constant_resolver_data
• items::constant::constant_resolver_data_cycle
• items::constant::constant_semantic_data
• items::constant::constant_semantic_data_cycle
• items::constant::constant_semantic_data_cycle_helper
• items::constant::constant_semantic_data_helper
• items::constant::constant_semantic_diagnostics
• items::constant::evaluate_constant_expr
• items::constant::priv_constant_semantic_data
• items::constant::priv_constant_semantic_data_cycle
• items::constant::resolve_const_expr_and_evaluate
• items::constant::value_as_const_value
• items::enm::enum_attributes
• items::enm::enum_declaration_diagnostics
• items::enm::enum_declaration_resolver_data
• items::enm::enum_definition_diagnostics
• items::enm::enum_definition_resolver_data
• items::enm::enum_generic_params
• items::enm::enum_generic_params_data
• items::enm::enum_variants
• items::enm::priv_enum_declaration_data
• items::enm::priv_enum_definition_data
• items::enm::variant_semantic
• items::extern_function::extern_function_declaration_diagnostics
• items::extern_function::extern_function_declaration_generic_params
• items::extern_function::extern_function_declaration_generic_params_data
• items::extern_function::extern_function_declaration_implicits
• items::extern_function::extern_function_declaration_inline_config
• items::extern_function::extern_function_declaration_refs
• items::extern_function::extern_function_declaration_resolver_data
• items::extern_function::extern_function_signature
• items::extern_function::priv_extern_function_declaration_data
• items::extern_type::extern_type_attributes
• items::extern_type::extern_type_declaration_diagnostics
• items::extern_type::extern_type_declaration_generic_params
• items::extern_type::extern_type_declaration_generic_params_data
• items::extern_type::priv_extern_type_declaration_data
• items::feature_kind::extract_feature_config
• items::feature_kind::extract_item_feature_config
• items::free_function::free_function_body_diagnostics
• items::free_function::free_function_body_resolver_data
• items::free_function::free_function_declaration_diagnostics
• items::free_function::free_function_declaration_implicit_precedence
• items::free_function::free_function_declaration_implicits
• items::free_function::free_function_declaration_inline_config
• items::free_function::free_function_declaration_resolver_data
• items::free_function::free_function_generic_params
• items::free_function::free_function_generic_params_data
• items::free_function::free_function_signature
• items::free_function::priv_free_function_body_data
• items::free_function::priv_free_function_declaration_data
• items::function_with_body::expr_semantic
• items::function_with_body::function_body
• items::function_with_body::function_body_diagnostics
• items::function_with_body::function_body_expr
• items::function_with_body::function_declaration_diagnostics
• items::function_with_body::function_declaration_implicit_precedence
• items::function_with_body::function_declaration_inline_config
• items::function_with_body::function_with_body_attributes
• items::function_with_body::function_with_body_generic_params
• items::function_with_body::function_with_body_signature
• items::function_with_body::get_implicit_precedence
• items::function_with_body::get_inline_config
• items::function_with_body::pattern_semantic
• items::function_with_body::statement_semantic
• items::functions::concrete_function_signature
• items::functions::forbid_inline_always_with_impl_generic_param
• items::functions::function_signature_implicit_parameters
• items::functions::function_signature_params
• items::functions::function_signature_return_type
• items::functions::function_title_generic_params
• items::functions::function_title_signature
• items::generics::generic_impl_param_trait
• items::generics::generic_param_diagnostics
• items::generics::generic_param_resolver_data
• items::generics::generic_param_semantic
• items::generics::generic_params_to_args
• items::generics::priv_generic_param_data
• items::generics::priv_generic_param_data_cycle
• items::generics::semantic_generic_params
• items::generics::semantic_generic_params_ex
• items::imp::can_infer_impl_by_self
• items::imp::filter_candidate_traits
• items::imp::find_candidates_at_context
• items::imp::find_closure_generated_candidate
• items::imp::impl_all_used_items
• items::imp::impl_concrete_trait
• items::imp::impl_constant_by_trait_constant
• items::imp::impl_constant_concrete_implized_type
• items::imp::impl_constant_concrete_implized_type_cycle
• items::imp::impl_constant_concrete_implized_value
• items::imp::impl_constant_concrete_implized_value_cycle
• items::imp::impl_constant_def_resolver_data
• items::imp::impl_constant_def_semantic_diagnostics
• items::imp::impl_constant_def_trait_constant
• items::imp::impl_constant_def_value
• items::imp::impl_constant_def_value_cycle
• items::imp::impl_constant_implized_by_context
• items::imp::impl_constant_implized_by_context_cycle
• items::imp::impl_constants
• items::imp::impl_def_attributes
• items::imp::impl_def_concrete_trait
• items::imp::impl_def_concrete_trait_cycle
• items::imp::impl_def_generic_params
• items::imp::impl_def_generic_params_data
• items::imp::impl_def_resolver_data
• items::imp::impl_def_resolver_data_cycle
• items::imp::impl_def_substitution
• items::imp::impl_def_trait
• items::imp::impl_function_attributes
• items::imp::impl_function_body
• items::imp::impl_function_body_diagnostics
• items::imp::impl_function_body_resolver_data
• items::imp::impl_function_by_trait_function
• items::imp::impl_function_declaration_diagnostics
• items::imp::impl_function_declaration_implicit_precedence
• items::imp::impl_function_declaration_implicits
• items::imp::impl_function_declaration_inline_config
• items::imp::impl_function_generic_params
• items::imp::impl_function_resolver_data
• items::imp::impl_function_signature
• items::imp::impl_function_trait_function
• items::imp::impl_functions
• items::imp::impl_impl_by_id
• items::imp::impl_impl_by_trait_impl
• items::imp::impl_impl_concrete_implized
• items::imp::impl_impl_concrete_implized_cycle
• items::imp::impl_impl_concrete_trait
• items::imp::impl_impl_def_impl
• items::imp::impl_impl_def_impl_cycle
• items::imp::impl_impl_def_resolver_data
• items::imp::impl_impl_def_semantic_diagnostics
• items::imp::impl_impl_def_trait_impl
• items::imp::impl_impl_ids
• items::imp::impl_impl_ids_for_trait_filter
• items::imp::impl_impl_ids_for_trait_filter_cycle
• items::imp::impl_impl_implized_by_context
• items::imp::impl_impl_implized_by_context_cycle
• items::imp::impl_implicit_impl_by_name
• items::imp::impl_impls
• items::imp::impl_item_by_name
• items::imp::impl_semantic_declaration_diagnostics
• items::imp::impl_semantic_definition_diagnostics
• items::imp::impl_type_by_id
• items::imp::impl_type_by_trait_type
• items::imp::impl_type_concrete_implized
• items::imp::impl_type_concrete_implized_cycle
• items::imp::impl_type_def_attributes
• items::imp::impl_type_def_generic_params
• items::imp::impl_type_def_resolved_type
• items::imp::impl_type_def_resolved_type_cycle
• items::imp::impl_type_def_resolver_data
• items::imp::impl_type_def_semantic_diagnostics
• items::imp::impl_type_def_trait_type
• items::imp::impl_type_ids
• items::imp::impl_types
• items::imp::implicit_impl_impl_impl
• items::imp::implicit_impl_impl_impl_cycle
• items::imp::implicit_impl_impl_semantic_diagnostics
• items::imp::infer_impl_by_self
• items::imp::is_implicit_impl_impl
• items::imp::module_impl_ids_for_trait_filter
• items::imp::module_impl_ids_for_trait_filter_cycle
• items::imp::priv_impl_constant_semantic_data
• items::imp::priv_impl_constant_semantic_data_cycle
• items::imp::priv_impl_declaration_data
• items::imp::priv_impl_declaration_data_cycle
• items::imp::priv_impl_declaration_data_inner
• items::imp::priv_impl_definition_data
• items::imp::priv_impl_function_body_data
• items::imp::priv_impl_function_declaration_data
• items::imp::priv_impl_function_generic_params_data
• items::imp::priv_impl_impl_def_generic_params_data
• items::imp::priv_impl_impl_semantic_data
• items::imp::priv_impl_impl_semantic_data_cycle
• items::imp::priv_impl_is_fully_concrete
• items::imp::priv_impl_is_var_free
• items::imp::priv_impl_type_def_generic_params_data
• items::imp::priv_impl_type_semantic_data
• items::imp::priv_impl_type_semantic_data_cycle
• items::imp::priv_implicit_impl_impl_semantic_data
• items::imp::priv_implicit_impl_impl_semantic_data_cycle
• items::impl_alias::impl_alias_attributes
• items::impl_alias::impl_alias_generic_params
• items::impl_alias::impl_alias_generic_params_data
• items::impl_alias::impl_alias_generic_params_data_helper
• items::impl_alias::impl_alias_impl_def
• items::impl_alias::impl_alias_impl_def_cycle
• items::impl_alias::impl_alias_resolved_impl
• items::impl_alias::impl_alias_resolved_impl_cycle
• items::impl_alias::impl_alias_resolver_data
• items::impl_alias::impl_alias_resolver_data_cycle
• items::impl_alias::impl_alias_semantic_data_cycle_helper
• items::impl_alias::impl_alias_semantic_data_helper
• items::impl_alias::impl_alias_semantic_diagnostics
• items::impl_alias::priv_impl_alias_semantic_data
• items::impl_alias::priv_impl_alias_semantic_data_cycle
• items::implization::trait_type_implized_by_context
• items::implization::trait_type_implized_by_context_cycle
• items::modifiers::compute_mutability
• items::module::get_module_global_uses
• items::module::module_all_used_items
• items::module::module_attributes
• items::module::module_item_by_name
• items::module::module_item_info_by_name
• items::module::module_usable_trait_ids
• items::module::priv_module_semantic_data
• items::module_type_alias::module_type_alias_generic_params
• items::module_type_alias::module_type_alias_resolved_type
• items::module_type_alias::module_type_alias_resolved_type_cycle
• items::module_type_alias::module_type_alias_resolver_data
• items::module_type_alias::module_type_alias_resolver_data_cycle
• items::module_type_alias::module_type_alias_semantic_diagnostics
• items::module_type_alias::priv_module_type_alias_generic_params_data
• items::module_type_alias::priv_module_type_alias_semantic_data
• items::module_type_alias::priv_module_type_alias_semantic_data_cycle
• items::structure::concrete_struct_members
• items::structure::priv_struct_declaration_data
• items::structure::priv_struct_definition_data
• items::structure::struct_attributes
• items::structure::struct_declaration_diagnostics
• items::structure::struct_declaration_resolver_data
• items::structure::struct_definition_diagnostics
• items::structure::struct_definition_resolver_data
• items::structure::struct_generic_params
• items::structure::struct_generic_params_data
• items::structure::struct_members
• items::trt::concrete_trait_constant_type
• items::trt::concrete_trait_function_generic_params
• items::trt::concrete_trait_function_signature
• items::trt::concrete_trait_impl_concrete_trait
• items::trt::priv_trait_constant_data
• items::trt::priv_trait_declaration_data
• items::trt::priv_trait_definition_data
• items::trt::priv_trait_function_body_data
• items::trt::priv_trait_function_declaration_data
• items::trt::priv_trait_function_generic_params_data
• items::trt::priv_trait_impl_data
• items::trt::priv_trait_type_data
• items::trt::priv_trait_type_generic_params_data
• items::trt::trait_all_used_items
• items::trt::trait_attributes
• items::trt::trait_constant_attributes
• items::trt::trait_constant_by_name
• items::trt::trait_constant_diagnostics
• items::trt::trait_constant_resolver_data
• items::trt::trait_constant_type
• items::trt::trait_constants
• items::trt::trait_function_attributes
• items::trt::trait_function_body
• items::trt::trait_function_body_diagnostics
• items::trt::trait_function_by_name
• items::trt::trait_function_declaration_diagnostics
• items::trt::trait_function_declaration_implicit_precedence
• items::trt::trait_function_declaration_implicits
• items::trt::trait_function_declaration_inline_config
• items::trt::trait_function_generic_params
• items::trt::trait_function_resolver_data
• items::trt::trait_function_signature
• items::trt::trait_functions
• items::trt::trait_generic_params
• items::trt::trait_generic_params_cycle
• items::trt::trait_generic_params_data
• items::trt::trait_generic_params_data_cycle
• items::trt::trait_impl_attributes
• items::trt::trait_impl_by_name
• items::trt::trait_impl_concrete_trait
• items::trt::trait_impl_diagnostics
• items::trt::trait_impl_resolver_data
• items::trt::trait_impls
• items::trt::trait_item_by_name
• items::trt::trait_required_item_names
• items::trt::trait_resolver_data
• items::trt::trait_semantic_declaration_diagnostics
• items::trt::trait_semantic_definition_diagnostics
• items::trt::trait_type_attributes
• items::trt::trait_type_by_name
• items::trt::trait_type_diagnostics
• items::trt::trait_type_generic_params
• items::trt::trait_type_resolver_data
• items::trt::trait_types
• items::type_aliases::type_alias_generic_params_data_helper
• items::type_aliases::type_alias_semantic_data_cycle_helper
• items::type_aliases::type_alias_semantic_data_helper
• items::us::get_use_path_segments
• items::us::global_use_semantic_diagnostics
• items::us::priv_global_use_imported_module
• items::us::priv_global_use_semantic_data
• items::us::priv_global_use_semantic_data_cycle
• items::us::priv_module_use_star_modules
• items::us::priv_use_semantic_data
• items::us::priv_use_semantic_data_cycle
• items::us::use_resolver_data
• items::us::use_resolver_data_cycle
• items::us::use_semantic_diagnostics
• items::visibility::peek_visible_in
• literals::try_extract_minus_literal
• lsp_helpers::methods_in_crate
• lsp_helpers::methods_in_module
• lsp_helpers::visible_traits_from_module
• lsp_helpers::visible_traits_in_crate
• lsp_helpers::visible_traits_in_module
• types::add_type_based_diagnostics
• types::extract_fixed_size_array_size
• types::generic_type_generic_params
• types::get_impl_at_context
• types::maybe_resolve_type
• types::peel_snapshots
• types::peel_snapshots_ex
• types::priv_type_is_fully_concrete
• types::priv_type_is_var_free
• types::resolve_type
• types::resolve_type_with_environment
• types::single_value_type
• types::type_info
• types::type_size_info
• types::type_size_info_cycle
• types::verify_fixed_size_array_size
• types::wrap_in_snapshots

Type Aliases

• diagnostic::SemanticDiagnostics
• expr::compute::EnvVariables
• expr::inference::InferenceResult
• expr::objects::ExprId
• expr::objects::PatternId
• expr::objects::StatementId

Constants

• resolve::CRATE_KW
• resolve::SELF_TYPE_KW
• resolve::SUPER_KW