Structs§
- An impl that is generated by the compiler for a specific trait. There can be only one such impl per concrete trait as otherwise there would be a MultipleImplsFound ambiguity.
- An impl item of kind impl.
- A filter for trait lookup that is not based on current inference state. This is used for caching queries.
- Generated impls before inference, see GeneratedImplLongId for more details.
Enums§
- A lookup filter on generic arguments that is not based on current inference state. This is used for caching queries.
- Head of an impl.
- Represents a “callee” impl that can be referred to in the code. Traits should be resolved to this.
- A candidate impl for later inference.
Functions§
- Checks if an impl of a trait function with a given self_ty exists. This function does not change the state of the inference context.
- Returns all the trait functions that fit the given function name, can be called on the given
self_ty
, and have at least one implementation in context. - Finds all the implementations of a concrete trait, in a specific lookup context.
- Finds the generated candidate for a concrete trait.
- Query implementation of SemanticGroup::impl_all_used_items.
- Query implementation of crate::db::SemanticGroup::impl_concrete_trait.
- Query implementation of crate::db::SemanticGroup::impl_constant_by_trait_constant.
- Query implementation of crate::db::SemanticGroup::impl_constant_concrete_implized_type.
- Cycle handling for crate::db::SemanticGroup::impl_constant_concrete_implized_type.
- Query implementation of crate::db::SemanticGroup::impl_constant_concrete_implized_value.
- Cycle handling for crate::db::SemanticGroup::impl_constant_concrete_implized_value.
- Query implementation of crate::db::SemanticGroup::impl_constant_def_resolver_data.
- Query implementation of crate::db::SemanticGroup::impl_constant_def_semantic_diagnostics.
- Query implementation of crate::db::SemanticGroup::impl_constant_def_trait_constant.
- Query implementation of crate::db::SemanticGroup::impl_constant_def_value.
- Cycle handling for crate::db::SemanticGroup::impl_constant_def_value.
- Query implementation of crate::db::SemanticGroup::impl_constant_implized_by_context.
- Cycle handling for crate::db::SemanticGroup::impl_constant_implized_by_context.
- Query implementation of crate::db::SemanticGroup::impl_constants.
- Query implementation of crate::db::SemanticGroup::impl_def_attributes.
- Query implementation of crate::db::SemanticGroup::impl_def_concrete_trait.
- Trivial cycle handler for crate::db::SemanticGroup::impl_def_concrete_trait.
- Query implementation of crate::db::SemanticGroup::impl_def_generic_params.
- Query implementation of crate::db::SemanticGroup::impl_def_generic_params_data.
- Query implementation of crate::db::SemanticGroup::impl_def_resolver_data.
- Trivial cycle handler for crate::db::SemanticGroup::impl_def_resolver_data.
- Query implementation of crate::db::SemanticGroup::impl_def_substitution.
- Query implementation of crate::db::SemanticGroup::impl_def_trait.
- Query implementation of crate::db::SemanticGroup::impl_function_attributes.
- Query implementation of crate::db::SemanticGroup::impl_function_body.
- Query implementation of crate::db::SemanticGroup::impl_function_body_diagnostics.
- Query implementation of crate::db::SemanticGroup::impl_function_body_resolver_data.
- Query implementation of crate::db::SemanticGroup::impl_function_by_trait_function.
- Query implementation of crate::db::SemanticGroup::impl_function_declaration_diagnostics.
- Query implementation of SemanticGroup::impl_function_declaration_implicit_precedence.
- Query implementation of crate::db::SemanticGroup::impl_function_declaration_implicits.
- Query implementation of crate::db::SemanticGroup::impl_function_declaration_inline_config.
- Query implementation of crate::db::SemanticGroup::impl_function_generic_params.
- Query implementation of crate::db::SemanticGroup::impl_function_resolver_data.
- Query implementation of crate::db::SemanticGroup::impl_function_signature.
- Query implementation of crate::db::SemanticGroup::impl_function_trait_function.
- Query implementation of crate::db::SemanticGroup::impl_functions.
- Query implementation of crate::db::SemanticGroup::impl_impl_by_id.
- Query implementation of crate::db::SemanticGroup::impl_impl_by_trait_impl.
- Query implementation of crate::db::SemanticGroup::impl_impl_concrete_implized.
- Cycle handling for crate::db::SemanticGroup::impl_impl_concrete_implized.
- Query implementation of crate::db::SemanticGroup::impl_impl_concrete_trait.
- Query implementation of crate::db::SemanticGroup::impl_impl_def_impl.
- Cycle handling for crate::db::SemanticGroup::impl_impl_def_impl.
- Query implementation of crate::db::SemanticGroup::impl_impl_def_resolver_data.
- Query implementation of crate::db::SemanticGroup::impl_impl_def_semantic_diagnostics.
- Query implementation of crate::db::SemanticGroup::impl_impl_def_trait_impl.
- Query implementation of crate::db::SemanticGroup::impl_impl_ids.
- Query implementation of crate::db::SemanticGroup::impl_impl_ids_for_trait_filter.
- Cycle handling for crate::db::SemanticGroup::impl_impl_ids_for_trait_filter.
- Query implementation of crate::db::SemanticGroup::impl_impl_implized_by_context.
- Cycle handling for crate::db::SemanticGroup::impl_impl_implized_by_context.
- Query implementation of crate::db::SemanticGroup::impl_implicit_impl_by_name.
- Query implementation of crate::db::SemanticGroup::impl_impls.
- Query implementation of crate::db::SemanticGroup::impl_item_by_name.
- Query implementation of crate::db::SemanticGroup::impl_semantic_declaration_diagnostics.
- Query implementation of crate::db::SemanticGroup::impl_semantic_definition_diagnostics.
- Query implementation of crate::db::SemanticGroup::impl_type_by_id.
- Query implementation of crate::db::SemanticGroup::impl_type_by_trait_type.
- Query implementation of crate::db::SemanticGroup::impl_type_concrete_implized.
- Cycle handling for crate::db::SemanticGroup::impl_type_concrete_implized.
- Query implementation of crate::db::SemanticGroup::impl_type_def_attributes.
- Query implementation of crate::db::SemanticGroup::impl_type_def_generic_params.
- Query implementation of crate::db::SemanticGroup::impl_type_def_resolved_type.
- Cycle handling for crate::db::SemanticGroup::impl_type_def_resolved_type.
- Query implementation of crate::db::SemanticGroup::impl_type_def_resolver_data.
- Query implementation of crate::db::SemanticGroup::impl_type_def_semantic_diagnostics.
- Query implementation of crate::db::SemanticGroup::impl_type_def_trait_type.
- Query implementation of crate::db::SemanticGroup::impl_type_ids.
- Query implementation of crate::db::SemanticGroup::impl_types.
- Query implementation of crate::db::SemanticGroup::implicit_impl_impl_impl.
- Cycle handling for crate::db::SemanticGroup::implicit_impl_impl_impl.
- Query implementation of crate::db::SemanticGroup::implicit_impl_impl_semantic_diagnostics.
- Returns an impl of a given trait function with a given self_ty, as well as the number of snapshots needed to be added to it.
- Query implementation of crate::db::SemanticGroup::is_implicit_impl_impl.
- Query implementation of crate::db::SemanticGroup::module_impl_ids_for_trait_filter.
- Cycle handling for crate::db::SemanticGroup::module_impl_ids_for_trait_filter.
- Query implementation of crate::db::SemanticGroup::priv_impl_constant_semantic_data.
- Cycle handling for crate::db::SemanticGroup::priv_impl_constant_semantic_data.
- Query implementation of crate::db::SemanticGroup::priv_impl_declaration_data.
- Cycle handling for crate::db::SemanticGroup::priv_impl_declaration_data.
- Shared code for the query and cycle handling. The cycle handling logic needs to pass resolve_trait=false to prevent the cycle.
- Query implementation of crate::db::SemanticGroup::priv_impl_definition_data.
- Query implementation of crate::db::SemanticGroup::priv_impl_function_body_data.
- Query implementation of crate::db::SemanticGroup::priv_impl_function_declaration_data.
- Query implementation of crate::db::SemanticGroup::priv_impl_function_generic_params_data.
- Query implementation of crate::db::SemanticGroup::priv_impl_impl_def_generic_params_data.
- Query implementation of crate::db::SemanticGroup::priv_impl_impl_semantic_data.
- Cycle handling for crate::db::SemanticGroup::priv_impl_impl_semantic_data.
- Query implementation of crate::db::SemanticGroup::priv_impl_type_def_generic_params_data.
- Query implementation of crate::db::SemanticGroup::priv_impl_type_semantic_data.
- Cycle handling for crate::db::SemanticGroup::priv_impl_type_semantic_data.
- Query implementation of crate::db::SemanticGroup::priv_implicit_impl_impl_semantic_data.
- Cycle handling for crate::db::SemanticGroup::priv_implicit_impl_impl_semantic_data.