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::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::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::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::UseData
- 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_once_call_trait_fn
- corelib::fn_once_trait
- 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::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::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