pub struct LinterAnalysisDatabase { /* private fields */ }Implementations§
Source§impl LinterAnalysisDatabase
impl LinterAnalysisDatabase
pub fn builder() -> LinterAnalysisDatabaseBuilder
Trait Implementations§
Source§impl Clone for LinterAnalysisDatabase
impl Clone for LinterAnalysisDatabase
Source§fn clone(&self) -> LinterAnalysisDatabase
fn clone(&self) -> LinterAnalysisDatabase
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Database for LinterAnalysisDatabase
impl Database for LinterAnalysisDatabase
Source§fn trigger_lru_eviction(&mut self)
fn trigger_lru_eviction(&mut self)
Source§fn synthetic_write(&mut self, durability: Durability)
fn synthetic_write(&mut self, durability: Durability)
durability has changed, triggering a new revision.
This is mostly useful for profiling scenarios. Read moreSource§fn trigger_cancellation(&mut self)
fn trigger_cancellation(&mut self)
Source§fn cancellation_token(&self) -> CancellationToken
fn cancellation_token(&self) -> CancellationToken
CancellationToken for the current database handle.Source§fn report_untracked_read(&self)
fn report_untracked_read(&self)
Source§fn ingredient_debug_name(
&self,
ingredient_index: IngredientIndex,
) -> Cow<'_, str>
fn ingredient_debug_name( &self, ingredient_index: IngredientIndex, ) -> Cow<'_, str>
Source§fn unwind_if_revision_cancelled(&self)
fn unwind_if_revision_cancelled(&self)
Auto Trait Implementations§
impl !Freeze for LinterAnalysisDatabase
impl RefUnwindSafe for LinterAnalysisDatabase
impl Send for LinterAnalysisDatabase
impl !Sync for LinterAnalysisDatabase
impl Unpin for LinterAnalysisDatabase
impl UnsafeUnpin for LinterAnalysisDatabase
impl !UnwindSafe for LinterAnalysisDatabase
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> CommonGroup for T
impl<T> CommonGroup for T
Source§fn find_syntax_node_at_offset<'db>(
&'db self,
file: FileId<'db>,
offset: TextOffset,
) -> Option<SyntaxNode<'db>>
fn find_syntax_node_at_offset<'db>( &'db self, file: FileId<'db>, offset: TextOffset, ) -> Option<SyntaxNode<'db>>
SyntaxNode at the given TextOffset in the file.Source§fn file_and_subfiles_with_corresponding_modules_without_inline<'db>(
&'db self,
file: FileId<'db>,
) -> Option<&'db (OrderedHashSet<FileId<'db>>, OrderedHashSet<ModuleId<'db>>)>
fn file_and_subfiles_with_corresponding_modules_without_inline<'db>( &'db self, file: FileId<'db>, ) -> Option<&'db (OrderedHashSet<FileId<'db>>, OrderedHashSet<ModuleId<'db>>)>
file and all its descendants together with modules from all these files. Does not includes inline macro expansions.Source§fn file_and_subfiles_with_corresponding_modules<'db>(
&'db self,
file: FileId<'db>,
) -> Option<&'db (OrderedHashSet<FileId<'db>>, OrderedHashSet<ModuleId<'db>>)>
fn file_and_subfiles_with_corresponding_modules<'db>( &'db self, file: FileId<'db>, ) -> Option<&'db (OrderedHashSet<FileId<'db>>, OrderedHashSet<ModuleId<'db>>)>
file and all its descendants together with modules from all these files. Includes inline macro expansions.Source§fn get_node_resultants<'db>(
&'db self,
node: SyntaxNode<'db>,
) -> Option<&'db Vec<SyntaxNode<'db>>>
fn get_node_resultants<'db>( &'db self, node: SyntaxNode<'db>, ) -> Option<&'db Vec<SyntaxNode<'db>>>
resultants to refer to generated nodes that are mapped to the original node and are not deleted.
Effectively (user nodes + generated nodes - removed nodes) set always contains resultants for any user defined node.
Semantic data may be available only for resultants. Read morefn find_generated_nodes<'db>( &'db self, node_descendant_files: Arc<[FileId<'db>]>, node: SyntaxNode<'db>, ) -> &'db OrderedHashSet<SyntaxNode<'db>>
Source§impl<'db, T> ConstantSemantic<'db> for T
impl<'db, T> ConstantSemantic<'db> for T
Source§fn constant_semantic_diagnostics(
&'db self,
const_id: ConstantId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn constant_semantic_diagnostics( &'db self, const_id: ConstantId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn constant_semantic_data(
&'db self,
use_id: ConstantId<'db>,
) -> Result<Constant<'db>, DiagnosticAdded>
fn constant_semantic_data( &'db self, use_id: ConstantId<'db>, ) -> Result<Constant<'db>, DiagnosticAdded>
Source§fn constant_resolver_data(
&'db self,
use_id: ConstantId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn constant_resolver_data( &'db self, use_id: ConstantId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn constant_const_value(
&'db self,
const_id: ConstantId<'db>,
) -> Result<ConstValueId<'db>, DiagnosticAdded>
fn constant_const_value( &'db self, const_id: ConstantId<'db>, ) -> Result<ConstValueId<'db>, DiagnosticAdded>
Source§fn const_calc_info(&'db self) -> Arc<ConstCalcInfo<'db>>
fn const_calc_info(&'db self) -> Arc<ConstCalcInfo<'db>>
Source§impl<'db, T> CorelibSemantic<'db> for T
impl<'db, T> CorelibSemantic<'db> for T
Source§impl<'db, T> DebugDbUpcast<'db, T> for Twhere
T: ?Sized,
impl<'db, T> DebugDbUpcast<'db, T> for Twhere
T: ?Sized,
fn debug_db_upcast(&'db self) -> &'db T
Source§impl<T> DefsGroup for T
impl<T> DefsGroup for T
fn default_macro_plugins_input(&self) -> &[MacroPluginLongId]
fn macro_plugin_overrides_input( &self, ) -> &OrderedHashMap<CrateInput, Arc<[MacroPluginLongId]>>
fn inline_macro_plugin_overrides_input( &self, ) -> &OrderedHashMap<CrateInput, Arc<OrderedHashMap<String, InlineMacroExprPluginLongId>>>
fn default_inline_macro_plugins_input( &self, ) -> &OrderedHashMap<String, InlineMacroExprPluginLongId>
Source§fn default_macro_plugins<'db>(&'db self) -> &'db [MacroPluginId<'db>]
fn default_macro_plugins<'db>(&'db self) -> &'db [MacroPluginId<'db>]
default_macro_plugins_input.Source§fn macro_plugin_overrides<'db>(
&'db self,
) -> &'db OrderedHashMap<CrateId<'db>, Vec<MacroPluginId<'db>>>
fn macro_plugin_overrides<'db>( &'db self, ) -> &'db OrderedHashMap<CrateId<'db>, Vec<MacroPluginId<'db>>>
macro_plugin_overrides_input.Source§fn crate_macro_plugins<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> &'db [MacroPluginId<'db>]
fn crate_macro_plugins<'db>( &'db self, crate_id: CrateId<'db>, ) -> &'db [MacroPluginId<'db>]
MacroPluginIds of the plugins set for the crate with CrateId.
Provides an override if it has been set with
DefsGroupEx::set_override_crate_macro_plugins or the default
(DefsGroup::default_macro_plugins) otherwise.Source§fn default_inline_macro_plugins<'db>(
&'db self,
) -> &'db OrderedHashMap<String, InlineMacroExprPluginId<'db>>
fn default_inline_macro_plugins<'db>( &'db self, ) -> &'db OrderedHashMap<String, InlineMacroExprPluginId<'db>>
default_inline_macro_plugins_input.Source§fn inline_macro_plugin_overrides<'db>(
&'db self,
) -> &'db OrderedHashMap<CrateId<'db>, OrderedHashMap<String, InlineMacroExprPluginId<'db>>>
fn inline_macro_plugin_overrides<'db>( &'db self, ) -> &'db OrderedHashMap<CrateId<'db>, OrderedHashMap<String, InlineMacroExprPluginId<'db>>>
inline_macro_plugin_overrides_input.Source§fn crate_inline_macro_plugins<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> &'db OrderedHashMap<String, InlineMacroExprPluginId<'db>>
fn crate_inline_macro_plugins<'db>( &'db self, crate_id: CrateId<'db>, ) -> &'db OrderedHashMap<String, InlineMacroExprPluginId<'db>>
InlineMacroExprPluginIds of the plugins set for the crate with CrateId.
Provides an override if it has been set with
DefsGroupEx::set_override_crate_inline_macro_plugins or the default
(DefsGroup::default_inline_macro_plugins) otherwise.Source§fn allowed_attributes<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> &'db OrderedHashSet<SmolStrId<'db>>
fn allowed_attributes<'db>( &'db self, crate_id: CrateId<'db>, ) -> &'db OrderedHashSet<SmolStrId<'db>>
Source§fn allowed_statement_attributes<'db>(
&'db self,
) -> &'db OrderedHashSet<SmolStrId<'db>>
fn allowed_statement_attributes<'db>( &'db self, ) -> &'db OrderedHashSet<SmolStrId<'db>>
Source§fn declared_derives<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> &'db OrderedHashSet<SmolStrId<'db>>
fn declared_derives<'db>( &'db self, crate_id: CrateId<'db>, ) -> &'db OrderedHashSet<SmolStrId<'db>>
derive that were declared by a plugin.
A derive that is not in this set will be handled as an unknown derive.Source§fn declared_phantom_type_attributes<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> &'db OrderedHashSet<SmolStrId<'db>>
fn declared_phantom_type_attributes<'db>( &'db self, crate_id: CrateId<'db>, ) -> &'db OrderedHashSet<SmolStrId<'db>>
Source§fn is_submodule_inline<'db>(&self, submodule_id: SubmoduleId<'db>) -> bool
fn is_submodule_inline<'db>(&self, submodule_id: SubmoduleId<'db>) -> bool
Source§fn module_main_file<'db>(
&'db self,
module_id: ModuleId<'db>,
) -> Result<FileId<'db>, DiagnosticAdded>
fn module_main_file<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<FileId<'db>, DiagnosticAdded>
Source§fn module_files<'db>(
&'db self,
module_id: ModuleId<'db>,
) -> Result<&'db [FileId<'db>], DiagnosticAdded>
fn module_files<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [FileId<'db>], DiagnosticAdded>
Source§fn module_dir<'db>(
&'db self,
module_id: ModuleId<'db>,
) -> Result<&'db Directory<'db>, DiagnosticAdded>
fn module_dir<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db Directory<'db>, DiagnosticAdded>
fn crate_modules<'db>(&'db self, crate_id: CrateId<'db>) -> &'db [ModuleId<'db>]
fn file_modules<'db>( &'db self, file_id: FileId<'db>, ) -> Result<&'db Vec<ModuleId<'db>>, DiagnosticAdded>
Source§fn cached_crate_modules<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> Option<(Arc<OrderedHashMap<ModuleId<'db>, ModuleData<'db>>>, Arc<DefCacheLoadingData<'db>>)>
fn cached_crate_modules<'db>( &'db self, crate_id: CrateId<'db>, ) -> Option<(Arc<OrderedHashMap<ModuleId<'db>, ModuleData<'db>>>, Arc<DefCacheLoadingData<'db>>)>
fn module_submodules_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [SubmoduleId<'db>], DiagnosticAdded>
fn module_constants_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [ConstantId<'db>], DiagnosticAdded>
fn module_constant_by_id<'db>( &'db self, constant_data: ConstantId<'db>, ) -> Result<ItemConstant<'db>, DiagnosticAdded>
fn module_free_functions_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [FreeFunctionId<'db>], DiagnosticAdded>
fn module_free_function_by_id<'db>( &'db self, free_function_id: FreeFunctionId<'db>, ) -> Result<FunctionWithBody<'db>, DiagnosticAdded>
Source§fn module_item_name_stable_ptr<'db>(
&'db self,
module_id: ModuleId<'db>,
item_id: ModuleItemId<'db>,
) -> Result<SyntaxStablePtrId<'db>, DiagnosticAdded>
fn module_item_name_stable_ptr<'db>( &'db self, module_id: ModuleId<'db>, item_id: ModuleItemId<'db>, ) -> Result<SyntaxStablePtrId<'db>, DiagnosticAdded>
fn module_uses_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [UseId<'db>], DiagnosticAdded>
fn module_use_by_id<'db>( &'db self, use_id: UseId<'db>, ) -> Result<UsePathLeaf<'db>, DiagnosticAdded>
fn module_global_use_by_id<'db>( &'db self, global_use_id: GlobalUseId<'db>, ) -> Result<UsePathStar<'db>, DiagnosticAdded>
fn module_structs_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [StructId<'db>], DiagnosticAdded>
fn module_struct_by_id<'db>( &'db self, struct_id: StructId<'db>, ) -> Result<ItemStruct<'db>, DiagnosticAdded>
fn module_enums_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [EnumId<'db>], DiagnosticAdded>
fn module_enum_by_id<'db>( &'db self, enum_id: EnumId<'db>, ) -> Result<ItemEnum<'db>, DiagnosticAdded>
fn module_type_aliases_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [ModuleTypeAliasId<'db>], DiagnosticAdded>
fn module_type_alias_by_id<'db>( &'db self, module_type_alias_id: ModuleTypeAliasId<'db>, ) -> Result<ItemTypeAlias<'db>, DiagnosticAdded>
fn module_impl_aliases_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [ImplAliasId<'db>], DiagnosticAdded>
fn module_impl_alias_by_id<'db>( &'db self, impl_alias_id: ImplAliasId<'db>, ) -> Result<ItemImplAlias<'db>, DiagnosticAdded>
fn module_traits_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [TraitId<'db>], DiagnosticAdded>
fn module_trait_by_id<'db>( &'db self, trait_id: TraitId<'db>, ) -> Result<ItemTrait<'db>, DiagnosticAdded>
fn module_impls_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [ImplDefId<'db>], DiagnosticAdded>
fn module_impl_by_id<'db>( &'db self, impl_id: ImplDefId<'db>, ) -> Result<ItemImpl<'db>, DiagnosticAdded>
fn module_extern_types_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [ExternTypeId<'db>], DiagnosticAdded>
fn module_extern_type_by_id<'db>( &'db self, extern_type_id: ExternTypeId<'db>, ) -> Result<ItemExternType<'db>, DiagnosticAdded>
fn module_extern_functions_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [ExternFunctionId<'db>], DiagnosticAdded>
fn module_extern_function_by_id<'db>( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Result<ItemExternFunction<'db>, DiagnosticAdded>
Source§fn module_macro_declarations_ids<'db>(
&'db self,
module_id: ModuleId<'db>,
) -> Result<&'db [MacroDeclarationId<'db>], DiagnosticAdded>
fn module_macro_declarations_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [MacroDeclarationId<'db>], DiagnosticAdded>
Source§fn module_macro_declaration_by_id<'db>(
&'db self,
macro_declaration_id: MacroDeclarationId<'db>,
) -> Result<ItemMacroDeclaration<'db>, DiagnosticAdded>
fn module_macro_declaration_by_id<'db>( &'db self, macro_declaration_id: MacroDeclarationId<'db>, ) -> Result<ItemMacroDeclaration<'db>, DiagnosticAdded>
Source§fn module_macro_calls_ids<'db>(
&'db self,
module_id: ModuleId<'db>,
) -> Result<&'db [MacroCallId<'db>], DiagnosticAdded>
fn module_macro_calls_ids<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [MacroCallId<'db>], DiagnosticAdded>
Source§fn module_macro_call_by_id<'db>(
&'db self,
macro_call_id: MacroCallId<'db>,
) -> Result<ItemInlineMacro<'db>, DiagnosticAdded>
fn module_macro_call_by_id<'db>( &'db self, macro_call_id: MacroCallId<'db>, ) -> Result<ItemInlineMacro<'db>, DiagnosticAdded>
Source§fn module_ancestors<'db>(
&'db self,
module_id: ModuleId<'db>,
) -> &'db OrderedHashSet<ModuleId<'db>>
fn module_ancestors<'db>( &'db self, module_id: ModuleId<'db>, ) -> &'db OrderedHashSet<ModuleId<'db>>
Source§fn module_perceived_module<'db>(
&'db self,
module_id: ModuleId<'db>,
) -> ModuleId<'db>
fn module_perceived_module<'db>( &'db self, module_id: ModuleId<'db>, ) -> ModuleId<'db>
Source§impl<T> DefsGroupEx for T
impl<T> DefsGroupEx for T
Source§fn set_override_crate_macro_plugins<'db>(
&'db mut self,
crate_id: CrateId<'db>,
plugins: Arc<Vec<MacroPluginId<'db>>>,
)
fn set_override_crate_macro_plugins<'db>( &'db mut self, crate_id: CrateId<'db>, plugins: Arc<Vec<MacroPluginId<'db>>>, )
Source§fn set_override_crate_inline_macro_plugins<'db>(
&'db mut self,
crate_id: CrateId<'db>,
plugins: Arc<OrderedHashMap<String, InlineMacroExprPluginId<'db>>>,
)
fn set_override_crate_inline_macro_plugins<'db>( &'db mut self, crate_id: CrateId<'db>, plugins: Arc<OrderedHashMap<String, InlineMacroExprPluginId<'db>>>, )
Source§impl<'db, T> EnumSemantic<'db> for T
impl<'db, T> EnumSemantic<'db> for T
Source§fn enum_declaration_diagnostics(
&'db self,
enum_id: EnumId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn enum_declaration_diagnostics( &'db self, enum_id: EnumId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn enum_generic_params(
&'db self,
enum_id: EnumId<'db>,
) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
fn enum_generic_params( &'db self, enum_id: EnumId<'db>, ) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
Source§fn enum_attributes(
&'db self,
enum_id: EnumId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn enum_attributes( &'db self, enum_id: EnumId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§fn enum_declaration_resolver_data(
&'db self,
enum_id: EnumId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn enum_declaration_resolver_data( &'db self, enum_id: EnumId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn enum_definition_diagnostics(
&'db self,
enum_id: EnumId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn enum_definition_diagnostics( &'db self, enum_id: EnumId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn enum_variants(
&'db self,
enum_id: EnumId<'db>,
) -> Result<&'db OrderedHashMap<SmolStrId<'db>, VariantId<'db>>, DiagnosticAdded>
fn enum_variants( &'db self, enum_id: EnumId<'db>, ) -> Result<&'db OrderedHashMap<SmolStrId<'db>, VariantId<'db>>, DiagnosticAdded>
Source§fn variant_semantic(
&'db self,
enum_id: EnumId<'db>,
variant_id: VariantId<'db>,
) -> Result<Variant<'db>, DiagnosticAdded>
fn variant_semantic( &'db self, enum_id: EnumId<'db>, variant_id: VariantId<'db>, ) -> Result<Variant<'db>, DiagnosticAdded>
Source§fn enum_definition_resolver_data(
&'db self,
enum_id: EnumId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn enum_definition_resolver_data( &'db self, enum_id: EnumId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§impl<'db, T> ExternFunctionSemantic<'db> for T
impl<'db, T> ExternFunctionSemantic<'db> for T
Source§fn extern_function_declaration_inline_config(
&'db self,
extern_function_id: ExternFunctionId<'db>,
) -> Result<InlineConfiguration<'db>, DiagnosticAdded>
fn extern_function_declaration_inline_config( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Result<InlineConfiguration<'db>, DiagnosticAdded>
Source§fn extern_function_declaration_diagnostics(
&'db self,
extern_function_id: ExternFunctionId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn extern_function_declaration_diagnostics( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn extern_function_signature(
&'db self,
extern_function_id: ExternFunctionId<'db>,
) -> Result<&'db Signature<'db>, DiagnosticAdded>
fn extern_function_signature( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Result<&'db Signature<'db>, DiagnosticAdded>
Source§fn extern_function_declaration_generic_params(
&'db self,
extern_function_id: ExternFunctionId<'db>,
) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
fn extern_function_declaration_generic_params( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
Source§fn extern_function_declaration_resolver_data(
&'db self,
extern_function_id: ExternFunctionId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn extern_function_declaration_resolver_data( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§impl<'db, T> ExternTypeSemantic<'db> for T
impl<'db, T> ExternTypeSemantic<'db> for T
Source§fn extern_type_declaration_diagnostics(
&'db self,
extern_type_id: ExternTypeId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn extern_type_declaration_diagnostics( &'db self, extern_type_id: ExternTypeId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn extern_type_declaration_generic_params(
&'db self,
extern_type_id: ExternTypeId<'db>,
) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
fn extern_type_declaration_generic_params( &'db self, extern_type_id: ExternTypeId<'db>, ) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
Source§fn extern_type_declaration_generic_params_data(
&'db self,
extern_type_id: ExternTypeId<'db>,
) -> Result<GenericParamsData<'db>, DiagnosticAdded>
fn extern_type_declaration_generic_params_data( &'db self, extern_type_id: ExternTypeId<'db>, ) -> Result<GenericParamsData<'db>, DiagnosticAdded>
Source§fn extern_type_attributes(
&'db self,
extern_type_id: ExternTypeId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn extern_type_attributes( &'db self, extern_type_id: ExternTypeId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§impl<T> FilesGroup for T
impl<T> FilesGroup for T
Source§fn crate_configs<'db>(
&'db self,
) -> &'db OrderedHashMap<CrateId<'db>, CrateConfiguration<'db>>
fn crate_configs<'db>( &'db self, ) -> &'db OrderedHashMap<CrateId<'db>, CrateConfiguration<'db>>
crate_configs_input.Source§fn file_overrides<'db>(&'db self) -> &'db OrderedHashMap<FileId<'db>, ArcStr>
fn file_overrides<'db>(&'db self) -> &'db OrderedHashMap<FileId<'db>, ArcStr>
file_overrides_input.Source§fn crate_config<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> Option<&'db CrateConfiguration<'db>>
fn crate_config<'db>( &'db self, crate_id: CrateId<'db>, ) -> Option<&'db CrateConfiguration<'db>>
Source§fn file_content<'db>(&'db self, file_id: FileId<'db>) -> Option<&'db str>
fn file_content<'db>(&'db self, file_id: FileId<'db>) -> Option<&'db str>
fn file_summary<'db>( &'db self, file_id: FileId<'db>, ) -> Option<&'db FileSummary>
Source§fn blob_content<'db>(&'db self, blob_id: BlobId<'db>) -> Option<&'db [u8]>
fn blob_content<'db>(&'db self, blob_id: BlobId<'db>) -> Option<&'db [u8]>
Source§fn file_input<'db>(&'db self, file_id: FileId<'db>) -> &'db FileInput
fn file_input<'db>(&'db self, file_id: FileId<'db>) -> &'db FileInput
Source§fn crate_input<'db>(&'db self, crt: CrateId<'db>) -> &'db CrateInput
fn crate_input<'db>(&'db self, crt: CrateId<'db>) -> &'db CrateInput
Source§impl<T> FlagsGroup for T
impl<T> FlagsGroup for T
Source§fn flags<'db>(&'db self) -> &'db OrderedHashMap<FlagId<'db>, Flag>
fn flags<'db>(&'db self) -> &'db OrderedHashMap<FlagId<'db>, Flag>
flags_input.Source§fn get_flag<'db>(&'db self, id: FlagId<'db>) -> Option<Flag>
fn get_flag<'db>(&'db self, id: FlagId<'db>) -> Option<Flag>
Source§fn set_flag(&mut self, flag: FlagLongId, value: Option<Flag>)
fn set_flag(&mut self, flag: FlagLongId, value: Option<Flag>)
Source§fn flag_add_withdraw_gas(&self) -> bool
fn flag_add_withdraw_gas(&self) -> bool
add_withdraw_gas flag.Source§fn flag_numeric_match_optimization_min_arms_threshold(&self) -> Option<usize>
fn flag_numeric_match_optimization_min_arms_threshold(&self) -> Option<usize>
numeric_match_optimization_min_arms_threshold flag.Source§fn flag_panic_backtrace(&self) -> bool
fn flag_panic_backtrace(&self) -> bool
panic_backtrace flag.Source§fn flag_unsafe_panic(&self) -> bool
fn flag_unsafe_panic(&self) -> bool
unsafe_panic flag.Source§fn flag_future_sierra(&self) -> bool
fn flag_future_sierra(&self) -> bool
future_sierra flag.Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self to use its Binary implementation when Debug-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self to use its Display implementation when
Debug-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self to use its LowerExp implementation when
Debug-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self to use its LowerHex implementation when
Debug-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self to use its Octal implementation when Debug-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self to use its Pointer implementation when
Debug-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self to use its UpperExp implementation when
Debug-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self to use its UpperHex implementation when
Debug-formatted.Source§impl<'db, T> FreeFunctionSemantic<'db> for T
impl<'db, T> FreeFunctionSemantic<'db> for T
Source§fn free_function_declaration_diagnostics(
&'db self,
id: FreeFunctionId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn free_function_declaration_diagnostics( &'db self, id: FreeFunctionId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn free_function_signature(
&'db self,
id: FreeFunctionId<'db>,
) -> Result<&'db Signature<'db>, DiagnosticAdded>
fn free_function_signature( &'db self, id: FreeFunctionId<'db>, ) -> Result<&'db Signature<'db>, DiagnosticAdded>
Source§fn free_function_declaration_implicit_precedence(
&'db self,
id: FreeFunctionId<'db>,
) -> Result<&'db ImplicitPrecedence<'db>, DiagnosticAdded>
fn free_function_declaration_implicit_precedence( &'db self, id: FreeFunctionId<'db>, ) -> Result<&'db ImplicitPrecedence<'db>, DiagnosticAdded>
Source§fn free_function_generic_params(
&'db self,
id: FreeFunctionId<'db>,
) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
fn free_function_generic_params( &'db self, id: FreeFunctionId<'db>, ) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
Source§fn free_function_attributes(
&'db self,
id: FreeFunctionId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn free_function_attributes( &'db self, id: FreeFunctionId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§fn free_function_declaration_resolver_data(
&'db self,
id: FreeFunctionId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn free_function_declaration_resolver_data( &'db self, id: FreeFunctionId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn free_function_declaration_inline_config(
&'db self,
id: FreeFunctionId<'db>,
) -> Result<InlineConfiguration<'db>, DiagnosticAdded>
fn free_function_declaration_inline_config( &'db self, id: FreeFunctionId<'db>, ) -> Result<InlineConfiguration<'db>, DiagnosticAdded>
Source§fn free_function_body_diagnostics(
&'db self,
id: FreeFunctionId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn free_function_body_diagnostics( &'db self, id: FreeFunctionId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn free_function_body(
&'db self,
id: FreeFunctionId<'db>,
) -> Result<&'db FunctionBody<'db>, DiagnosticAdded>
fn free_function_body( &'db self, id: FreeFunctionId<'db>, ) -> Result<&'db FunctionBody<'db>, DiagnosticAdded>
Source§fn free_function_body_resolver_data(
&'db self,
id: FreeFunctionId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn free_function_body_resolver_data( &'db self, id: FreeFunctionId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn priv_free_function_body_data(
&'db self,
id: FreeFunctionId<'db>,
) -> Result<&'db FunctionBodyData<'db>, DiagnosticAdded>
fn priv_free_function_body_data( &'db self, id: FreeFunctionId<'db>, ) -> Result<&'db FunctionBodyData<'db>, DiagnosticAdded>
Source§impl<'db, T> FunctionImplicitsTrait<'db> for T
impl<'db, T> FunctionImplicitsTrait<'db> for T
Source§fn function_with_body_implicits(
&'db self,
function: ConcreteFunctionWithBodyId<'db>,
) -> Result<Vec<TypeId<'db>>, DiagnosticAdded>
fn function_with_body_implicits( &'db self, function: ConcreteFunctionWithBodyId<'db>, ) -> Result<Vec<TypeId<'db>>, DiagnosticAdded>
Source§impl<'db, T> FunctionWithBodySemantic<'db> for T
impl<'db, T> FunctionWithBodySemantic<'db> for T
Source§fn function_declaration_diagnostics(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn function_declaration_diagnostics( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn function_declaration_inline_config(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<InlineConfiguration<'db>, DiagnosticAdded>
fn function_declaration_inline_config( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<InlineConfiguration<'db>, DiagnosticAdded>
Source§fn function_declaration_implicit_precedence(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<&'db ImplicitPrecedence<'db>, DiagnosticAdded>
fn function_declaration_implicit_precedence( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<&'db ImplicitPrecedence<'db>, DiagnosticAdded>
Source§fn function_with_body_signature(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<&'db Signature<'db>, DiagnosticAdded>
fn function_with_body_signature( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<&'db Signature<'db>, DiagnosticAdded>
Source§fn function_with_body_generic_params(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<Vec<GenericParam<'db>>, DiagnosticAdded>
fn function_with_body_generic_params( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<Vec<GenericParam<'db>>, DiagnosticAdded>
Source§fn function_with_body_attributes(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn function_with_body_attributes( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§fn function_body_diagnostics(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn function_body_diagnostics( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn function_body(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<&'db FunctionBody<'db>, DiagnosticAdded>
fn function_body( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<&'db FunctionBody<'db>, DiagnosticAdded>
Source§fn function_body_expr(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<ExprId, DiagnosticAdded>
fn function_body_expr( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<ExprId, DiagnosticAdded>
Source§fn expr_semantic(
&'db self,
function_id: FunctionWithBodyId<'db>,
id: ExprId,
) -> Expr<'db>
fn expr_semantic( &'db self, function_id: FunctionWithBodyId<'db>, id: ExprId, ) -> Expr<'db>
Source§fn statement_semantic(
&'db self,
function_id: FunctionWithBodyId<'db>,
id: StatementId,
) -> Statement<'db>
fn statement_semantic( &'db self, function_id: FunctionWithBodyId<'db>, id: StatementId, ) -> Statement<'db>
Source§fn pattern_semantic(
&'db self,
function_id: FunctionWithBodyId<'db>,
id: PatternId,
) -> Pattern<'db>
fn pattern_semantic( &'db self, function_id: FunctionWithBodyId<'db>, id: PatternId, ) -> Pattern<'db>
Source§impl<'db, T> FunctionsSemantic<'db> for T
impl<'db, T> FunctionsSemantic<'db> for T
Source§fn function_title_signature(
&'db self,
function_title_id: FunctionTitleId<'db>,
) -> Result<&'db Signature<'db>, DiagnosticAdded>
fn function_title_signature( &'db self, function_title_id: FunctionTitleId<'db>, ) -> Result<&'db Signature<'db>, DiagnosticAdded>
Source§fn function_title_generic_params(
&'db self,
function_title_id: FunctionTitleId<'db>,
) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
fn function_title_generic_params( &'db self, function_title_id: FunctionTitleId<'db>, ) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
Source§fn concrete_function_signature(
&'db self,
function_id: FunctionId<'db>,
) -> Result<&'db Signature<'db>, DiagnosticAdded>
fn concrete_function_signature( &'db self, function_id: FunctionId<'db>, ) -> Result<&'db Signature<'db>, DiagnosticAdded>
Source§fn concrete_function_closure_params(
&'db self,
function_id: FunctionId<'db>,
) -> Result<OrderedHashMap<TypeId<'db>, TypeId<'db>>, DiagnosticAdded>
fn concrete_function_closure_params( &'db self, function_id: FunctionId<'db>, ) -> Result<OrderedHashMap<TypeId<'db>, TypeId<'db>>, DiagnosticAdded>
Source§fn get_closure_params(
&'db self,
generic_function_id: GenericFunctionId<'db>,
) -> Result<OrderedHashMap<TypeId<'db>, TypeId<'db>>, DiagnosticAdded>
fn get_closure_params( &'db self, generic_function_id: GenericFunctionId<'db>, ) -> Result<OrderedHashMap<TypeId<'db>, TypeId<'db>>, DiagnosticAdded>
Source§impl<'db, T> GenericParamSemantic<'db> for T
impl<'db, T> GenericParamSemantic<'db> for T
Source§fn generic_param_semantic(
&'db self,
generic_param: GenericParamId<'db>,
) -> Result<GenericParam<'db>, DiagnosticAdded>
fn generic_param_semantic( &'db self, generic_param: GenericParamId<'db>, ) -> Result<GenericParam<'db>, DiagnosticAdded>
Source§fn generic_param_diagnostics(
&'db self,
generic_param: GenericParamId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn generic_param_diagnostics( &'db self, generic_param: GenericParamId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn generic_param_resolver_data(
&'db self,
generic_param: GenericParamId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn generic_param_resolver_data( &'db self, generic_param: GenericParamId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn generic_impl_param_trait(
&'db self,
generic_param_id: GenericParamId<'db>,
) -> Result<TraitId<'db>, DiagnosticAdded>
fn generic_impl_param_trait( &'db self, generic_param_id: GenericParamId<'db>, ) -> Result<TraitId<'db>, DiagnosticAdded>
Source§fn generic_impl_param_shallow_trait_generic_args(
&'db self,
generic_param: GenericParamId<'db>,
) -> Result<&'db [(GenericParamId<'db>, ShallowGenericArg<'db>)], DiagnosticAdded>
fn generic_impl_param_shallow_trait_generic_args( &'db self, generic_param: GenericParamId<'db>, ) -> Result<&'db [(GenericParamId<'db>, ShallowGenericArg<'db>)], DiagnosticAdded>
Source§fn generic_params_type_constraints(
&'db self,
generic_params: Vec<GenericParamId<'db>>,
) -> &'db [(TypeId<'db>, TypeId<'db>)]
fn generic_params_type_constraints( &'db self, generic_params: Vec<GenericParamId<'db>>, ) -> &'db [(TypeId<'db>, TypeId<'db>)]
Source§impl<'db, T> ImplAliasSemantic<'db> for T
impl<'db, T> ImplAliasSemantic<'db> for T
Source§fn impl_alias_impl_def(
&'db self,
id: ImplAliasId<'db>,
) -> Result<ImplDefId<'db>, DiagnosticAdded>
fn impl_alias_impl_def( &'db self, id: ImplAliasId<'db>, ) -> Result<ImplDefId<'db>, DiagnosticAdded>
Source§fn impl_alias_semantic_diagnostics(
&'db self,
id: ImplAliasId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn impl_alias_semantic_diagnostics( &'db self, id: ImplAliasId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn impl_alias_resolved_impl(
&'db self,
id: ImplAliasId<'db>,
) -> Result<ImplId<'db>, DiagnosticAdded>
fn impl_alias_resolved_impl( &'db self, id: ImplAliasId<'db>, ) -> Result<ImplId<'db>, DiagnosticAdded>
Source§fn impl_alias_generic_params(
&'db self,
id: ImplAliasId<'db>,
) -> Result<Vec<GenericParam<'db>>, DiagnosticAdded>
fn impl_alias_generic_params( &'db self, id: ImplAliasId<'db>, ) -> Result<Vec<GenericParam<'db>>, DiagnosticAdded>
Source§fn impl_alias_resolver_data(
&'db self,
id: ImplAliasId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn impl_alias_resolver_data( &'db self, id: ImplAliasId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn impl_alias_attributes(
&'db self,
id: ImplAliasId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn impl_alias_attributes( &'db self, id: ImplAliasId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§impl<'db, T> ImplSemantic<'db> for T
impl<'db, T> ImplSemantic<'db> for T
Source§fn impl_semantic_declaration_diagnostics(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn impl_semantic_declaration_diagnostics( &'db self, impl_def_id: ImplDefId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn impl_def_generic_params(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
fn impl_def_generic_params( &'db self, impl_def_id: ImplDefId<'db>, ) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
Source§fn impl_def_resolver_data(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn impl_def_resolver_data( &'db self, impl_def_id: ImplDefId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn impl_def_concrete_trait(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Result<ConcreteTraitId<'db>, DiagnosticAdded>
fn impl_def_concrete_trait( &'db self, impl_def_id: ImplDefId<'db>, ) -> Result<ConcreteTraitId<'db>, DiagnosticAdded>
Source§fn impl_def_attributes(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn impl_def_attributes( &'db self, impl_def_id: ImplDefId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§fn impl_concrete_trait(
&'db self,
impl_id: ImplId<'db>,
) -> Result<ConcreteTraitId<'db>, DiagnosticAdded>
fn impl_concrete_trait( &'db self, impl_id: ImplId<'db>, ) -> Result<ConcreteTraitId<'db>, DiagnosticAdded>
Source§fn impl_def_trait(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Result<TraitId<'db>, DiagnosticAdded>
fn impl_def_trait( &'db self, impl_def_id: ImplDefId<'db>, ) -> Result<TraitId<'db>, DiagnosticAdded>
of is not
a trait.Source§fn impl_semantic_definition_diagnostics(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn impl_semantic_definition_diagnostics( &'db self, impl_def_id: ImplDefId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn impl_item_info_by_name(
&'db self,
impl_def_id: ImplDefId<'db>,
name: SmolStrId<'db>,
) -> Result<Option<ImplItemInfo<'db>>, DiagnosticAdded>
fn impl_item_info_by_name( &'db self, impl_def_id: ImplDefId<'db>, name: SmolStrId<'db>, ) -> Result<Option<ImplItemInfo<'db>>, DiagnosticAdded>
name, if exists.Source§fn impl_all_used_uses(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Result<&'db OrderedHashSet<UseId<'db>>, DiagnosticAdded>
fn impl_all_used_uses( &'db self, impl_def_id: ImplDefId<'db>, ) -> Result<&'db OrderedHashSet<UseId<'db>>, DiagnosticAdded>
Source§fn impl_types(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Result<&'db OrderedHashMap<ImplTypeDefId<'db>, ItemTypeAlias<'db>>, DiagnosticAdded>
fn impl_types( &'db self, impl_def_id: ImplDefId<'db>, ) -> Result<&'db OrderedHashMap<ImplTypeDefId<'db>, ItemTypeAlias<'db>>, DiagnosticAdded>
Source§fn impl_type_by_trait_type(
&'db self,
impl_def_id: ImplDefId<'db>,
trait_type_id: TraitTypeId<'db>,
) -> Result<ImplTypeDefId<'db>, DiagnosticAdded>
fn impl_type_by_trait_type( &'db self, impl_def_id: ImplDefId<'db>, trait_type_id: TraitTypeId<'db>, ) -> Result<ImplTypeDefId<'db>, DiagnosticAdded>
Source§fn impl_constants(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Result<&'db OrderedHashMap<ImplConstantDefId<'db>, ItemConstant<'db>>, DiagnosticAdded>
fn impl_constants( &'db self, impl_def_id: ImplDefId<'db>, ) -> Result<&'db OrderedHashMap<ImplConstantDefId<'db>, ItemConstant<'db>>, DiagnosticAdded>
Source§fn impl_functions(
&'db self,
impl_def_id: ImplDefId<'db>,
) -> Result<&'db OrderedHashMap<SmolStrId<'db>, ImplFunctionId<'db>>, DiagnosticAdded>
fn impl_functions( &'db self, impl_def_id: ImplDefId<'db>, ) -> Result<&'db OrderedHashMap<SmolStrId<'db>, ImplFunctionId<'db>>, DiagnosticAdded>
Source§fn impl_type_def_resolved_type(
&'db self,
id: ImplTypeDefId<'db>,
) -> Result<TypeId<'db>, DiagnosticAdded>
fn impl_type_def_resolved_type( &'db self, id: ImplTypeDefId<'db>, ) -> Result<TypeId<'db>, DiagnosticAdded>
Source§fn impl_type_def_generic_params(
&'db self,
id: ImplTypeDefId<'db>,
) -> Result<Vec<GenericParam<'db>>, DiagnosticAdded>
fn impl_type_def_generic_params( &'db self, id: ImplTypeDefId<'db>, ) -> Result<Vec<GenericParam<'db>>, DiagnosticAdded>
Source§fn impl_type_def_attributes(
&'db self,
id: ImplTypeDefId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn impl_type_def_attributes( &'db self, id: ImplTypeDefId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§fn impl_type_def_resolver_data(
&'db self,
id: ImplTypeDefId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn impl_type_def_resolver_data( &'db self, id: ImplTypeDefId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn deref_chain(
&'db self,
ty: TypeId<'db>,
crate_id: CrateId<'db>,
try_deref_mut: bool,
) -> Result<&'db DerefChain<'db>, DiagnosticAdded>
fn deref_chain( &'db self, ty: TypeId<'db>, crate_id: CrateId<'db>, try_deref_mut: bool, ) -> Result<&'db DerefChain<'db>, DiagnosticAdded>
Source§fn impl_type_concrete_implized(
&'db self,
impl_type_def_id: ImplTypeId<'db>,
) -> Result<TypeId<'db>, DiagnosticAdded>
fn impl_type_concrete_implized( &'db self, impl_type_def_id: ImplTypeId<'db>, ) -> Result<TypeId<'db>, DiagnosticAdded>
Source§fn impl_constant_def_value(
&'db self,
id: ImplConstantDefId<'db>,
) -> Result<ConstValueId<'db>, DiagnosticAdded>
fn impl_constant_def_value( &'db self, id: ImplConstantDefId<'db>, ) -> Result<ConstValueId<'db>, DiagnosticAdded>
Source§fn impl_constant_def_resolver_data(
&'db self,
id: ImplConstantDefId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn impl_constant_def_resolver_data( &'db self, id: ImplConstantDefId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn impl_constant_concrete_implized_value(
&'db self,
impl_constant_id: ImplConstantId<'db>,
) -> Result<ConstValueId<'db>, DiagnosticAdded>
fn impl_constant_concrete_implized_value( &'db self, impl_constant_id: ImplConstantId<'db>, ) -> Result<ConstValueId<'db>, DiagnosticAdded>
Source§fn impl_constant_concrete_implized_type(
&'db self,
impl_constant_id: ImplConstantId<'db>,
) -> Result<TypeId<'db>, DiagnosticAdded>
fn impl_constant_concrete_implized_type( &'db self, impl_constant_id: ImplConstantId<'db>, ) -> Result<TypeId<'db>, DiagnosticAdded>
Source§fn impl_impl_def_resolver_data(
&'db self,
id: ImplImplDefId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn impl_impl_def_resolver_data( &'db self, id: ImplImplDefId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn impl_impl_concrete_implized(
&'db self,
impl_impl_id: ImplImplId<'db>,
) -> Result<ImplId<'db>, DiagnosticAdded>
fn impl_impl_concrete_implized( &'db self, impl_impl_id: ImplImplId<'db>, ) -> Result<ImplId<'db>, DiagnosticAdded>
Source§fn impl_function_declaration_diagnostics(
&'db self,
id: ImplFunctionId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn impl_function_declaration_diagnostics( &'db self, id: ImplFunctionId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn impl_function_signature(
&'db self,
id: ImplFunctionId<'db>,
) -> Result<&'db Signature<'db>, DiagnosticAdded>
fn impl_function_signature( &'db self, id: ImplFunctionId<'db>, ) -> Result<&'db Signature<'db>, DiagnosticAdded>
Source§fn impl_function_generic_params(
&'db self,
id: ImplFunctionId<'db>,
) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
fn impl_function_generic_params( &'db self, id: ImplFunctionId<'db>, ) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
Source§fn impl_function_attributes(
&'db self,
id: ImplFunctionId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn impl_function_attributes( &'db self, id: ImplFunctionId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§fn impl_function_resolver_data(
&'db self,
id: ImplFunctionId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn impl_function_resolver_data( &'db self, id: ImplFunctionId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn impl_function_declaration_inline_config(
&'db self,
id: ImplFunctionId<'db>,
) -> Result<InlineConfiguration<'db>, DiagnosticAdded>
fn impl_function_declaration_inline_config( &'db self, id: ImplFunctionId<'db>, ) -> Result<InlineConfiguration<'db>, DiagnosticAdded>
Source§fn impl_function_declaration_implicit_precedence(
&'db self,
id: ImplFunctionId<'db>,
) -> Result<&'db ImplicitPrecedence<'db>, DiagnosticAdded>
fn impl_function_declaration_implicit_precedence( &'db self, id: ImplFunctionId<'db>, ) -> Result<&'db ImplicitPrecedence<'db>, DiagnosticAdded>
Source§fn impl_function_trait_function(
&'db self,
id: ImplFunctionId<'db>,
) -> Result<TraitFunctionId<'db>, DiagnosticAdded>
fn impl_function_trait_function( &'db self, id: ImplFunctionId<'db>, ) -> Result<TraitFunctionId<'db>, DiagnosticAdded>
Source§fn impl_function_body_diagnostics(
&'db self,
impl_function_id: ImplFunctionId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn impl_function_body_diagnostics( &'db self, impl_function_id: ImplFunctionId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn impl_function_body(
&'db self,
impl_function_id: ImplFunctionId<'db>,
) -> Result<&'db FunctionBody<'db>, DiagnosticAdded>
fn impl_function_body( &'db self, impl_function_id: ImplFunctionId<'db>, ) -> Result<&'db FunctionBody<'db>, DiagnosticAdded>
Source§fn impl_function_body_resolver_data(
&'db self,
impl_function_id: ImplFunctionId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn impl_function_body_resolver_data( &'db self, impl_function_id: ImplFunctionId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn priv_impl_function_body_data(
&'db self,
impl_function_id: ImplFunctionId<'db>,
) -> Result<&'db FunctionBodyData<'db>, DiagnosticAdded>
fn priv_impl_function_body_data( &'db self, impl_function_id: ImplFunctionId<'db>, ) -> Result<&'db FunctionBodyData<'db>, DiagnosticAdded>
Source§impl<'db, T> ImplizationSemantic<'db> for T
impl<'db, T> ImplizationSemantic<'db> for T
Source§fn trait_type_implized_by_context(
&'db self,
trait_type_def_id: TraitTypeId<'db>,
impl_def_id: ImplDefId<'db>,
) -> Result<TypeId<'db>, DiagnosticAdded>
fn trait_type_implized_by_context( &'db self, trait_type_def_id: TraitTypeId<'db>, impl_def_id: ImplDefId<'db>, ) -> Result<TypeId<'db>, DiagnosticAdded>
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> LinterGroup for T
impl<T> LinterGroup for T
fn linter_diagnostics<'db>( &'db self, params: LinterDiagnosticParams, module_id: ModuleId<'db>, ) -> &'db Vec<PluginDiagnostic<'db>>
fn corelib_context<'db>(&'db self) -> &'db CorelibContext<'db>
Source§impl<T> LoweringGroup for T
impl<T> LoweringGroup for T
Source§fn priv_function_with_body_multi_lowering<'db>(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<&'db MultiLowering<'db>, DiagnosticAdded>
fn priv_function_with_body_multi_lowering<'db>( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<&'db MultiLowering<'db>, DiagnosticAdded>
Source§fn cached_multi_lowerings<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> Option<&'db OrderedHashMap<FunctionWithBodyId<'db>, MultiLowering<'db>>>
fn cached_multi_lowerings<'db>( &'db self, crate_id: CrateId<'db>, ) -> Option<&'db OrderedHashMap<FunctionWithBodyId<'db>, MultiLowering<'db>>>
Source§fn function_with_body_lowering<'db>(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<&'db Lowered<'db>, DiagnosticAdded>
fn function_with_body_lowering<'db>( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<&'db Lowered<'db>, DiagnosticAdded>
Source§fn borrow_check<'db>(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<&'db BorrowCheckResult<'db>, DiagnosticAdded>
fn borrow_check<'db>( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<&'db BorrowCheckResult<'db>, DiagnosticAdded>
Source§fn lowered_body<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
stage: LoweringStage,
) -> Result<&'db Lowered<'db>, DiagnosticAdded>
fn lowered_body<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, stage: LoweringStage, ) -> Result<&'db Lowered<'db>, DiagnosticAdded>
Source§fn lowered_direct_callees<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
dependency_type: DependencyType,
stage: LoweringStage,
) -> Result<&'db [FunctionId<'db>], DiagnosticAdded>
fn lowered_direct_callees<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, dependency_type: DependencyType, stage: LoweringStage, ) -> Result<&'db [FunctionId<'db>], DiagnosticAdded>
Source§fn lowered_direct_callees_with_body<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
dependency_type: DependencyType,
stage: LoweringStage,
) -> Result<&'db [ConcreteFunctionWithBodyId<'db>], DiagnosticAdded>
fn lowered_direct_callees_with_body<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, dependency_type: DependencyType, stage: LoweringStage, ) -> Result<&'db [ConcreteFunctionWithBodyId<'db>], DiagnosticAdded>
Source§fn function_with_body_lowering_diagnostics<'db>(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<Diagnostics<'db, LoweringDiagnostic<'db>>, DiagnosticAdded>
fn function_with_body_lowering_diagnostics<'db>( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<Diagnostics<'db, LoweringDiagnostic<'db>>, DiagnosticAdded>
Source§fn semantic_function_with_body_lowering_diagnostics<'db>(
&'db self,
function_id: FunctionWithBodyId<'db>,
) -> Result<Diagnostics<'db, LoweringDiagnostic<'db>>, DiagnosticAdded>
fn semantic_function_with_body_lowering_diagnostics<'db>( &'db self, function_id: FunctionWithBodyId<'db>, ) -> Result<Diagnostics<'db, LoweringDiagnostic<'db>>, DiagnosticAdded>
Source§fn module_lowering_diagnostics<'db>(
&'db self,
module_id: ModuleId<'db>,
) -> Result<Diagnostics<'db, LoweringDiagnostic<'db>>, DiagnosticAdded>
fn module_lowering_diagnostics<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<Diagnostics<'db, LoweringDiagnostic<'db>>, DiagnosticAdded>
Source§fn file_lowering_diagnostics<'db>(
&'db self,
file_id: FileId<'db>,
) -> Result<Diagnostics<'db, LoweringDiagnostic<'db>>, DiagnosticAdded>
fn file_lowering_diagnostics<'db>( &'db self, file_id: FileId<'db>, ) -> Result<Diagnostics<'db, LoweringDiagnostic<'db>>, DiagnosticAdded>
Source§fn function_implicits<'db>(
&'db self,
function: FunctionId<'db>,
) -> Result<Vec<TypeId<'db>>, DiagnosticAdded>
fn function_implicits<'db>( &'db self, function: FunctionId<'db>, ) -> Result<Vec<TypeId<'db>>, DiagnosticAdded>
Source§fn function_may_panic<'db>(
&'db self,
function: FunctionId<'db>,
) -> Result<bool, DiagnosticAdded>
fn function_may_panic<'db>( &'db self, function: FunctionId<'db>, ) -> Result<bool, DiagnosticAdded>
Source§fn has_direct_panic<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
) -> Result<bool, DiagnosticAdded>
fn has_direct_panic<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<bool, DiagnosticAdded>
Source§fn function_with_body_direct_callees<'db>(
&'db self,
function_id: FunctionWithBodyId<'db>,
dependency_type: DependencyType,
) -> Result<&'db OrderedHashSet<FunctionId<'db>>, DiagnosticAdded>
fn function_with_body_direct_callees<'db>( &'db self, function_id: FunctionWithBodyId<'db>, dependency_type: DependencyType, ) -> Result<&'db OrderedHashSet<FunctionId<'db>>, DiagnosticAdded>
Source§fn function_with_body_direct_function_with_body_callees<'db>(
&'db self,
function_id: FunctionWithBodyId<'db>,
dependency_type: DependencyType,
) -> Result<&'db OrderedHashSet<FunctionWithBodyId<'db>>, DiagnosticAdded>
fn function_with_body_direct_function_with_body_callees<'db>( &'db self, function_id: FunctionWithBodyId<'db>, dependency_type: DependencyType, ) -> Result<&'db OrderedHashSet<FunctionWithBodyId<'db>>, DiagnosticAdded>
Source§fn final_contains_call_cycle<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
) -> Result<bool, DiagnosticAdded>
fn final_contains_call_cycle<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<bool, DiagnosticAdded>
true if the function (in its final lowering representation) calls (possibly
indirectly) itself, or if it calls (possibly indirectly) such a function. For example, if f0
calls f1, f1 calls f2, f2 calls f3, and f3 calls f2, then Self::final_contains_call_cycle
will return true for all of these functions.Source§fn in_cycle<'db>(
&'db self,
function_id: FunctionWithBodyId<'db>,
dependency_type: DependencyType,
) -> Result<bool, DiagnosticAdded>
fn in_cycle<'db>( &'db self, function_id: FunctionWithBodyId<'db>, dependency_type: DependencyType, ) -> Result<bool, DiagnosticAdded>
true if the function calls (possibly indirectly) itself. For example, if f0 calls
f1, f1 calls f2, f2 calls f3, and f3 calls f2, then Self::in_cycle will return
true for f2 and f3, but false for f0 and f1.Source§fn concrete_in_cycle<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
dependency_type: DependencyType,
stage: LoweringStage,
) -> Result<bool, DiagnosticAdded>
fn concrete_in_cycle<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, dependency_type: DependencyType, stage: LoweringStage, ) -> Result<bool, DiagnosticAdded>
in_cycle.Source§fn lowered_scc_representative<'db>(
&'db self,
function: ConcreteFunctionWithBodyId<'db>,
dependency_type: DependencyType,
stage: LoweringStage,
) -> ConcreteSCCRepresentative<'db>
fn lowered_scc_representative<'db>( &'db self, function: ConcreteFunctionWithBodyId<'db>, dependency_type: DependencyType, stage: LoweringStage, ) -> ConcreteSCCRepresentative<'db>
Source§fn lowered_scc<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
dependency_type: DependencyType,
stage: LoweringStage,
) -> Vec<ConcreteFunctionWithBodyId<'db>>
fn lowered_scc<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, dependency_type: DependencyType, stage: LoweringStage, ) -> Vec<ConcreteFunctionWithBodyId<'db>>
Source§fn function_with_body_scc<'db>(
&'db self,
function_id: FunctionWithBodyId<'db>,
dependency_type: DependencyType,
) -> &'db [FunctionWithBodyId<'db>]
fn function_with_body_scc<'db>( &'db self, function_id: FunctionWithBodyId<'db>, dependency_type: DependencyType, ) -> &'db [FunctionWithBodyId<'db>]
Source§fn function_with_body_feedback_set<'db>(
&'db self,
function: ConcreteFunctionWithBodyId<'db>,
stage: LoweringStage,
) -> Result<&'db OrderedHashSet<ConcreteFunctionWithBodyId<'db>>, DiagnosticAdded>
fn function_with_body_feedback_set<'db>( &'db self, function: ConcreteFunctionWithBodyId<'db>, stage: LoweringStage, ) -> Result<&'db OrderedHashSet<ConcreteFunctionWithBodyId<'db>>, DiagnosticAdded>
Source§fn needs_withdraw_gas<'db>(
&'db self,
function: ConcreteFunctionWithBodyId<'db>,
) -> Result<bool, DiagnosticAdded>
fn needs_withdraw_gas<'db>( &'db self, function: ConcreteFunctionWithBodyId<'db>, ) -> Result<bool, DiagnosticAdded>
Source§fn priv_movable_function_ids<'db>(
&'db self,
) -> &'db UnorderedHashSet<ExternFunctionId<'db>>
fn priv_movable_function_ids<'db>( &'db self, ) -> &'db UnorderedHashSet<ExternFunctionId<'db>>
fn priv_should_inline<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<bool, DiagnosticAdded>
fn priv_never_inline<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<bool, DiagnosticAdded>
Source§fn priv_should_specialize<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
) -> Result<bool, DiagnosticAdded>
fn priv_should_specialize<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<bool, DiagnosticAdded>
Source§fn optimizations(&self) -> &Optimizations
fn optimizations(&self) -> &Optimizations
Source§fn final_optimization_strategy<'db>(&'db self) -> OptimizationStrategyId<'db>
fn final_optimization_strategy<'db>(&'db self) -> OptimizationStrategyId<'db>
Source§fn baseline_optimization_strategy<'db>(&'db self) -> OptimizationStrategyId<'db>
fn baseline_optimization_strategy<'db>(&'db self) -> OptimizationStrategyId<'db>
Source§fn estimate_size<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
) -> Result<isize, DiagnosticAdded>
fn estimate_size<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<isize, DiagnosticAdded>
Source§impl<'db, T> LspHelpers<'db> for T
impl<'db, T> LspHelpers<'db> for T
Source§fn methods_in_module(
&'db self,
module_id: ModuleId<'db>,
type_filter: TypeFilter<'db>,
) -> Arc<Vec<TraitFunctionId<'db>>>
fn methods_in_module( &'db self, module_id: ModuleId<'db>, type_filter: TypeFilter<'db>, ) -> Arc<Vec<TraitFunctionId<'db>>>
Source§fn methods_in_crate(
&'db self,
crate_id: CrateId<'db>,
type_filter: TypeFilter<'db>,
) -> Arc<Vec<TraitFunctionId<'db>>>
fn methods_in_crate( &'db self, crate_id: CrateId<'db>, type_filter: TypeFilter<'db>, ) -> Arc<Vec<TraitFunctionId<'db>>>
Source§fn visible_importables_from_module(
&'db self,
module_id: ModuleId<'db>,
) -> Option<Arc<OrderedHashMap<ImportableId<'db>, String>>>
fn visible_importables_from_module( &'db self, module_id: ModuleId<'db>, ) -> Option<Arc<OrderedHashMap<ImportableId<'db>, String>>>
Source§fn visible_importables_in_module(
&'db self,
module_id: ModuleId<'db>,
user_module_id: ModuleId<'db>,
include_parent: bool,
) -> Arc<Vec<(ImportableId<'db>, String)>>
fn visible_importables_in_module( &'db self, module_id: ModuleId<'db>, user_module_id: ModuleId<'db>, include_parent: bool, ) -> Arc<Vec<(ImportableId<'db>, String)>>
user_module_id is the module from which the importables should be visible. If
include_parent is true, the parent module of module_id is also considered.Source§fn visible_importables_in_crate(
&'db self,
crate_id: CrateId<'db>,
user_module_id: ModuleId<'db>,
) -> Arc<Vec<(ImportableId<'db>, String)>>
fn visible_importables_in_crate( &'db self, crate_id: CrateId<'db>, user_module_id: ModuleId<'db>, ) -> Arc<Vec<(ImportableId<'db>, String)>>
user_module_id is the module from which the importables should be visible.Source§fn visible_traits_from_module(
&'db self,
module_id: ModuleId<'db>,
) -> Option<Arc<OrderedHashMap<TraitId<'db>, String>>>
fn visible_traits_from_module( &'db self, module_id: ModuleId<'db>, ) -> Option<Arc<OrderedHashMap<TraitId<'db>, String>>>
Source§fn inline_macro_expansion_files(
&'db self,
module_id: ModuleId<'db>,
) -> &'db Vec<FileId<'db>>
fn inline_macro_expansion_files( &'db self, module_id: ModuleId<'db>, ) -> &'db Vec<FileId<'db>>
Source§fn find_module_containing_node(
&'db self,
node: SyntaxNode<'db>,
) -> Option<ModuleId<'db>>
fn find_module_containing_node( &'db self, node: SyntaxNode<'db>, ) -> Option<ModuleId<'db>>
ModuleId containing the node.Source§impl<'db, T> MacroCallSemantic<'db> for T
impl<'db, T> MacroCallSemantic<'db> for T
Source§fn priv_macro_call_data(
&'db self,
macro_call_id: MacroCallId<'db>,
) -> Result<MacroCallData<'db>, DiagnosticAdded>
fn priv_macro_call_data( &'db self, macro_call_id: MacroCallId<'db>, ) -> Result<MacroCallData<'db>, DiagnosticAdded>
Source§fn macro_call_module_id(
&'db self,
macro_call_id: MacroCallId<'db>,
) -> Result<ModuleId<'db>, DiagnosticAdded>
fn macro_call_module_id( &'db self, macro_call_id: MacroCallId<'db>, ) -> Result<ModuleId<'db>, DiagnosticAdded>
Source§fn macro_call_diagnostics(
&'db self,
macro_call_id: MacroCallId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn macro_call_diagnostics( &'db self, macro_call_id: MacroCallId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§impl<'db, T> MacroDeclarationSemantic<'db> for T
impl<'db, T> MacroDeclarationSemantic<'db> for T
Source§fn priv_macro_declaration_data(
&'db self,
macro_id: MacroDeclarationId<'db>,
) -> Result<MacroDeclarationData<'db>, DiagnosticAdded>
fn priv_macro_declaration_data( &'db self, macro_id: MacroDeclarationId<'db>, ) -> Result<MacroDeclarationData<'db>, DiagnosticAdded>
Source§fn macro_declaration_diagnostics(
&'db self,
macro_id: MacroDeclarationId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn macro_declaration_diagnostics( &'db self, macro_id: MacroDeclarationId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn macro_declaration_resolver_data(
&'db self,
macro_id: MacroDeclarationId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn macro_declaration_resolver_data( &'db self, macro_id: MacroDeclarationId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn macro_declaration_attributes(
&'db self,
macro_id: MacroDeclarationId<'db>,
) -> Result<Vec<Attribute<'db>>, DiagnosticAdded>
fn macro_declaration_attributes( &'db self, macro_id: MacroDeclarationId<'db>, ) -> Result<Vec<Attribute<'db>>, DiagnosticAdded>
Source§fn macro_declaration_rules(
&'db self,
macro_id: MacroDeclarationId<'db>,
) -> Result<Vec<MacroRuleData<'db>>, DiagnosticAdded>
fn macro_declaration_rules( &'db self, macro_id: MacroDeclarationId<'db>, ) -> Result<Vec<MacroRuleData<'db>>, DiagnosticAdded>
Source§impl<'db, T> MayPanicTrait<'db> for T
impl<'db, T> MayPanicTrait<'db> for T
Source§fn function_with_body_may_panic(
&'db self,
function: ConcreteFunctionWithBodyId<'db>,
) -> Result<bool, DiagnosticAdded>
fn function_with_body_may_panic( &'db self, function: ConcreteFunctionWithBodyId<'db>, ) -> Result<bool, DiagnosticAdded>
Source§impl<'db, T> ModuleSemantic<'db> for T
impl<'db, T> ModuleSemantic<'db> for T
Source§fn priv_module_semantic_data(
&'db self,
module_id: ModuleId<'db>,
) -> Result<&'db ModuleSemanticData<'db>, DiagnosticAdded>
fn priv_module_semantic_data( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db ModuleSemanticData<'db>, DiagnosticAdded>
Source§fn module_item_by_name(
&'db self,
module_id: ModuleId<'db>,
name: SmolStrId<'db>,
) -> Result<Option<ModuleItemId<'db>>, DiagnosticAdded>
fn module_item_by_name( &'db self, module_id: ModuleId<'db>, name: SmolStrId<'db>, ) -> Result<Option<ModuleItemId<'db>>, DiagnosticAdded>
Source§fn module_item_info_by_name(
&'db self,
module_id: ModuleId<'db>,
name: SmolStrId<'db>,
) -> Result<Option<ModuleItemInfo<'db>>, DiagnosticAdded>
fn module_item_info_by_name( &'db self, module_id: ModuleId<'db>, name: SmolStrId<'db>, ) -> Result<Option<ModuleItemInfo<'db>>, DiagnosticAdded>
Source§fn module_all_used_uses(
&'db self,
module_id: ModuleId<'db>,
) -> Result<&'db OrderedHashSet<UseId<'db>>, DiagnosticAdded>
fn module_all_used_uses( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db OrderedHashSet<UseId<'db>>, DiagnosticAdded>
Source§fn module_attributes(
&'db self,
module_id: ModuleId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn module_attributes( &'db self, module_id: ModuleId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§fn module_usable_trait_ids(
&'db self,
module_id: ModuleId<'db>,
) -> &'db OrderedHashMap<TraitId<'db>, LookupItemId<'db>>
fn module_usable_trait_ids( &'db self, module_id: ModuleId<'db>, ) -> &'db OrderedHashMap<TraitId<'db>, LookupItemId<'db>>
Source§fn get_prelude_submodule(
&'db self,
settings: &CrateSettings,
) -> Option<ModuleId<'db>>
fn get_prelude_submodule( &'db self, settings: &CrateSettings, ) -> Option<ModuleId<'db>>
Source§impl<'db, T> ModuleTypeAliasSemantic<'db> for T
impl<'db, T> ModuleTypeAliasSemantic<'db> for T
Source§fn module_type_alias_semantic_diagnostics(
&'db self,
id: ModuleTypeAliasId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn module_type_alias_semantic_diagnostics( &'db self, id: ModuleTypeAliasId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn module_type_alias_resolved_type(
&'db self,
id: ModuleTypeAliasId<'db>,
) -> Result<TypeId<'db>, DiagnosticAdded>
fn module_type_alias_resolved_type( &'db self, id: ModuleTypeAliasId<'db>, ) -> Result<TypeId<'db>, DiagnosticAdded>
Source§fn module_type_alias_generic_params(
&'db self,
id: ModuleTypeAliasId<'db>,
) -> Result<Vec<GenericParam<'db>>, DiagnosticAdded>
fn module_type_alias_generic_params( &'db self, id: ModuleTypeAliasId<'db>, ) -> Result<Vec<GenericParam<'db>>, DiagnosticAdded>
Source§fn module_type_alias_resolver_data(
&'db self,
id: ModuleTypeAliasId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn module_type_alias_resolver_data( &'db self, id: ModuleTypeAliasId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§impl<T> Paint for Twhere
T: ?Sized,
impl<T> Paint for Twhere
T: ?Sized,
Source§fn fg(&self, value: Color) -> Painted<&T>
fn fg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the foreground set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like red() and
green(), which have the same functionality but are
pithier.
§Example
Set foreground color to white using fg():
use yansi::{Paint, Color};
painted.fg(Color::White);Set foreground color to white using white().
use yansi::Paint;
painted.white();Source§fn bright_black(&self) -> Painted<&T>
fn bright_black(&self) -> Painted<&T>
Source§fn bright_red(&self) -> Painted<&T>
fn bright_red(&self) -> Painted<&T>
Source§fn bright_green(&self) -> Painted<&T>
fn bright_green(&self) -> Painted<&T>
Source§fn bright_yellow(&self) -> Painted<&T>
fn bright_yellow(&self) -> Painted<&T>
Source§fn bright_blue(&self) -> Painted<&T>
fn bright_blue(&self) -> Painted<&T>
Source§fn bright_magenta(&self) -> Painted<&T>
fn bright_magenta(&self) -> Painted<&T>
Source§fn bright_cyan(&self) -> Painted<&T>
fn bright_cyan(&self) -> Painted<&T>
Source§fn bright_white(&self) -> Painted<&T>
fn bright_white(&self) -> Painted<&T>
Source§fn bg(&self, value: Color) -> Painted<&T>
fn bg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the background set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like on_red() and
on_green(), which have the same functionality but
are pithier.
§Example
Set background color to red using fg():
use yansi::{Paint, Color};
painted.bg(Color::Red);Set background color to red using on_red().
use yansi::Paint;
painted.on_red();Source§fn on_primary(&self) -> Painted<&T>
fn on_primary(&self) -> Painted<&T>
Source§fn on_magenta(&self) -> Painted<&T>
fn on_magenta(&self) -> Painted<&T>
Source§fn on_bright_black(&self) -> Painted<&T>
fn on_bright_black(&self) -> Painted<&T>
Source§fn on_bright_red(&self) -> Painted<&T>
fn on_bright_red(&self) -> Painted<&T>
Source§fn on_bright_green(&self) -> Painted<&T>
fn on_bright_green(&self) -> Painted<&T>
Source§fn on_bright_yellow(&self) -> Painted<&T>
fn on_bright_yellow(&self) -> Painted<&T>
Source§fn on_bright_blue(&self) -> Painted<&T>
fn on_bright_blue(&self) -> Painted<&T>
Source§fn on_bright_magenta(&self) -> Painted<&T>
fn on_bright_magenta(&self) -> Painted<&T>
Source§fn on_bright_cyan(&self) -> Painted<&T>
fn on_bright_cyan(&self) -> Painted<&T>
Source§fn on_bright_white(&self) -> Painted<&T>
fn on_bright_white(&self) -> Painted<&T>
Source§fn attr(&self, value: Attribute) -> Painted<&T>
fn attr(&self, value: Attribute) -> Painted<&T>
Enables the styling Attribute value.
This method should be used rarely. Instead, prefer to use
attribute-specific builder methods like bold() and
underline(), which have the same functionality
but are pithier.
§Example
Make text bold using attr():
use yansi::{Paint, Attribute};
painted.attr(Attribute::Bold);Make text bold using using bold().
use yansi::Paint;
painted.bold();Source§fn rapid_blink(&self) -> Painted<&T>
fn rapid_blink(&self) -> Painted<&T>
Source§fn quirk(&self, value: Quirk) -> Painted<&T>
fn quirk(&self, value: Quirk) -> Painted<&T>
Enables the yansi Quirk value.
This method should be used rarely. Instead, prefer to use quirk-specific
builder methods like mask() and
wrap(), which have the same functionality but are
pithier.
§Example
Enable wrapping using .quirk():
use yansi::{Paint, Quirk};
painted.quirk(Quirk::Wrap);Enable wrapping using wrap().
use yansi::Paint;
painted.wrap();Source§fn clear(&self) -> Painted<&T>
👎Deprecated since 1.0.1: renamed to resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.
fn clear(&self) -> Painted<&T>
resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.Source§fn whenever(&self, value: Condition) -> Painted<&T>
fn whenever(&self, value: Condition) -> Painted<&T>
Conditionally enable styling based on whether the Condition value
applies. Replaces any previous condition.
See the crate level docs for more details.
§Example
Enable styling painted only when both stdout and stderr are TTYs:
use yansi::{Paint, Condition};
painted.red().on_yellow().whenever(Condition::STDOUTERR_ARE_TTY);Source§impl<T> ParserGroup for T
impl<T> ParserGroup for T
Source§fn file_syntax<'db>(
&'db self,
file_id: FileId<'db>,
) -> Result<SyntaxNode<'db>, DiagnosticAdded>
fn file_syntax<'db>( &'db self, file_id: FileId<'db>, ) -> Result<SyntaxNode<'db>, DiagnosticAdded>
Source§fn file_module_syntax<'db>(
&'db self,
file_id: FileId<'db>,
) -> Result<SyntaxFile<'db>, DiagnosticAdded>
fn file_module_syntax<'db>( &'db self, file_id: FileId<'db>, ) -> Result<SyntaxFile<'db>, DiagnosticAdded>
Source§fn file_expr_syntax<'db>(
&'db self,
file_id: FileId<'db>,
) -> Result<Expr<'db>, DiagnosticAdded>
fn file_expr_syntax<'db>( &'db self, file_id: FileId<'db>, ) -> Result<Expr<'db>, DiagnosticAdded>
Source§fn file_statement_list_syntax<'db>(
&'db self,
file_id: FileId<'db>,
) -> Result<StatementList<'db>, DiagnosticAdded>
fn file_statement_list_syntax<'db>( &'db self, file_id: FileId<'db>, ) -> Result<StatementList<'db>, DiagnosticAdded>
Source§fn file_syntax_diagnostics<'db>(
&'db self,
file_id: FileId<'db>,
) -> &'db Diagnostics<'db, ParserDiagnostic<'db>>
fn file_syntax_diagnostics<'db>( &'db self, file_id: FileId<'db>, ) -> &'db Diagnostics<'db, ParserDiagnostic<'db>>
Source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self, then passes self.as_ref() into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self, then passes self.as_mut() into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self, then passes self.deref() into the pipe function.Source§impl<T> PluginSuiteInput for T
impl<T> PluginSuiteInput for T
Source§fn intern_plugin_suite<'r>(
&'r mut self,
suite: PluginSuite,
) -> InternedPluginSuite<'r>
fn intern_plugin_suite<'r>( &'r mut self, suite: PluginSuite, ) -> InternedPluginSuite<'r>
PluginSuite into the database.Source§fn set_default_plugins_from_suite(&mut self, suite: PluginSuite)
fn set_default_plugins_from_suite(&mut self, suite: PluginSuite)
PluginSuite as default
for all crates. Read moreSource§fn set_override_crate_plugins_from_suite(
&mut self,
crate_id: CrateId<'_>,
suite: InternedPluginSuite<'_>,
)
fn set_override_crate_plugins_from_suite( &mut self, crate_id: CrateId<'_>, suite: InternedPluginSuite<'_>, )
PluginSuite for a crate
pointed to by the CrateId, overriding the defaults for that crate. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<'db, T> PrivTypesSemantic<'db> for T
impl<'db, T> PrivTypesSemantic<'db> for T
Source§fn priv_type_is_fully_concrete(&self, ty: TypeId<'db>) -> bool
fn priv_type_is_fully_concrete(&self, ty: TypeId<'db>) -> bool
Source§fn priv_type_is_var_free(&self, ty: TypeId<'db>) -> bool
fn priv_type_is_var_free(&self, ty: TypeId<'db>) -> bool
Source§fn priv_type_short_name(&self, ty: TypeId<'db>) -> String
fn priv_type_short_name(&self, ty: TypeId<'db>) -> String
Source§impl<T> SemanticEnumEx for T
impl<T> SemanticEnumEx for T
Source§fn concrete_enum_variant<'db>(
&'db self,
concrete_enum_id: ConcreteEnumId<'db>,
variant: &Variant<'db>,
) -> Result<ConcreteVariant<'db>, DiagnosticAdded>
fn concrete_enum_variant<'db>( &'db self, concrete_enum_id: ConcreteEnumId<'db>, variant: &Variant<'db>, ) -> Result<ConcreteVariant<'db>, DiagnosticAdded>
Source§fn concrete_enum_variants<'db>(
&'db self,
concrete_enum_id: ConcreteEnumId<'db>,
) -> Result<Vec<ConcreteVariant<'db>>, DiagnosticAdded>
fn concrete_enum_variants<'db>( &'db self, concrete_enum_id: ConcreteEnumId<'db>, ) -> Result<Vec<ConcreteVariant<'db>>, DiagnosticAdded>
Source§impl<'db, T> SemanticExprLookup<'db> for T
impl<'db, T> SemanticExprLookup<'db> for T
fn lookup_expr_by_ptr( &'db self, function_id: FunctionWithBodyId<'db>, ptr: ExprPtr<'db>, ) -> Result<ExprId, DiagnosticAdded>
fn lookup_pattern_by_ptr( &'db self, function_id: FunctionWithBodyId<'db>, ptr: PatternPtr<'db>, ) -> Result<PatternId, DiagnosticAdded>
Source§impl<T> SemanticGroup for T
impl<T> SemanticGroup for T
fn lookup_resolved_generic_item_by_ptr<'db>( &'db self, id: LookupItemId<'db>, ptr: TerminalIdentifierPtr<'db>, ) -> Option<ResolvedGenericItem<'db>>
fn lookup_resolved_concrete_item_by_ptr<'db>( &'db self, id: LookupItemId<'db>, ptr: TerminalIdentifierPtr<'db>, ) -> Option<ResolvedConcreteItem<'db>>
Source§fn module_semantic_diagnostics<'db>(
&'db self,
module_id: ModuleId<'db>,
) -> Result<Diagnostics<'db, SemanticDiagnostic<'db>>, DiagnosticAdded>
fn module_semantic_diagnostics<'db>( &'db self, module_id: ModuleId<'db>, ) -> Result<Diagnostics<'db, SemanticDiagnostic<'db>>, DiagnosticAdded>
Source§fn file_semantic_diagnostics<'db>(
&'db self,
file_id: FileId<'db>,
) -> Result<Diagnostics<'db, SemanticDiagnostic<'db>>, DiagnosticAdded>
fn file_semantic_diagnostics<'db>( &'db self, file_id: FileId<'db>, ) -> Result<Diagnostics<'db, SemanticDiagnostic<'db>>, DiagnosticAdded>
fn default_analyzer_plugins_input(&self) -> &[AnalyzerPluginLongId]
Source§fn default_analyzer_plugins<'db>(&'db self) -> Arc<Vec<AnalyzerPluginId<'db>>>
fn default_analyzer_plugins<'db>(&'db self) -> Arc<Vec<AnalyzerPluginId<'db>>>
default_analyzer_plugins.fn analyzer_plugin_overrides_input( &self, ) -> &OrderedHashMap<CrateInput, Arc<[AnalyzerPluginLongId]>>
Source§fn analyzer_plugin_overrides<'db>(
&'db self,
) -> Arc<OrderedHashMap<CrateId<'db>, Arc<Vec<AnalyzerPluginId<'db>>>>>
fn analyzer_plugin_overrides<'db>( &'db self, ) -> Arc<OrderedHashMap<CrateId<'db>, Arc<Vec<AnalyzerPluginId<'db>>>>>
analyzer_plugin_overrides_input.Source§fn crate_analyzer_plugins<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> Arc<Vec<AnalyzerPluginId<'db>>>
fn crate_analyzer_plugins<'db>( &'db self, crate_id: CrateId<'db>, ) -> Arc<Vec<AnalyzerPluginId<'db>>>
AnalyzerPluginIds of the plugins set for the crate with CrateId.
Returns
SemanticGroupEx::set_override_crate_analyzer_plugins if it has been set,
or the (SemanticGroup::default_analyzer_plugins) otherwise.Source§fn declared_allows<'db>(
&self,
crate_id: CrateId<'db>,
) -> Arc<OrderedHashSet<String>>
fn declared_allows<'db>( &self, crate_id: CrateId<'db>, ) -> Arc<OrderedHashSet<String>>
allow that were declared as by a plugin.
An allow that is not in this set will be handled as an unknown allow.Source§fn cached_crate_semantic_data<'db>(
&'db self,
crate_id: CrateId<'db>,
) -> Option<ModuleSemanticDataCacheAndLoadingData<'db>>
fn cached_crate_semantic_data<'db>( &'db self, crate_id: CrateId<'db>, ) -> Option<ModuleSemanticDataCacheAndLoadingData<'db>>
Source§impl<T> SemanticGroupEx for T
impl<T> SemanticGroupEx for T
Source§fn set_override_crate_analyzer_plugins(
&mut self,
crate_id: CrateId<'_>,
plugins: Arc<[AnalyzerPluginId<'_>]>,
)
fn set_override_crate_analyzer_plugins( &mut self, crate_id: CrateId<'_>, plugins: Arc<[AnalyzerPluginId<'_>]>, )
Source§impl<T0, T1, E, TRewriter> SemanticRewriter<(T0, T1), E> for TRewriterwhere
TRewriter: SemanticRewriter<T0, E> + SemanticRewriter<T1, E>,
impl<T0, T1, E, TRewriter> SemanticRewriter<(T0, T1), E> for TRewriterwhere
TRewriter: SemanticRewriter<T0, E> + SemanticRewriter<T1, E>,
fn internal_rewrite(&mut self, value: &mut (T0, T1)) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter> SemanticRewriter<Box<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter> SemanticRewriter<Box<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite(&mut self, value: &mut Box<T>) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter> SemanticRewriter<Deque<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter> SemanticRewriter<Deque<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite(&mut self, value: &mut Deque<T>) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter> SemanticRewriter<Option<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter> SemanticRewriter<Option<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite( &mut self, value: &mut Option<T>, ) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<'a, K, V, E, TRewriter> SemanticRewriter<OrderedHashMap<K, V>, E> for TRewriter
impl<'a, K, V, E, TRewriter> SemanticRewriter<OrderedHashMap<K, V>, E> for TRewriter
fn internal_rewrite( &mut self, value: &mut OrderedHashMap<K, V>, ) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter, E2> SemanticRewriter<Result<T, E2>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter, E2> SemanticRewriter<Result<T, E2>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite( &mut self, value: &mut Result<T, E2>, ) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter> SemanticRewriter<Vec<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter> SemanticRewriter<Vec<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite(&mut self, value: &mut Vec<T>) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<'db, T> SemanticSolver<'db> for T
impl<'db, T> SemanticSolver<'db> for T
Source§fn canonic_trait_solutions(
&'db self,
canonical_trait: CanonicalTrait<'db>,
lookup_context: ImplLookupContextId<'db>,
impl_type_bounds: BTreeMap<ImplTypeById<'db>, TypeId<'db>>,
) -> Result<SolutionSet<'db, CanonicalImpl<'db>>, InferenceError<'db>>
fn canonic_trait_solutions( &'db self, canonical_trait: CanonicalTrait<'db>, lookup_context: ImplLookupContextId<'db>, impl_type_bounds: BTreeMap<ImplTypeById<'db>, TypeId<'db>>, ) -> Result<SolutionSet<'db, CanonicalImpl<'db>>, InferenceError<'db>>
Source§impl<'a, T> SemanticUseEx<'a> for T
impl<'a, T> SemanticUseEx<'a> for T
Source§fn use_resolved_item(
&'a self,
use_id: UseId<'a>,
) -> Result<ResolvedGenericItem<'a>, DiagnosticAdded>
fn use_resolved_item( &'a self, use_id: UseId<'a>, ) -> Result<ResolvedGenericItem<'a>, DiagnosticAdded>
Source§impl<T> SierraGenGroup for T
impl<T> SierraGenGroup for T
fn intern_concrete_lib_func( &self, id: ConcreteLibfuncLongId, ) -> ConcreteLibfuncId
fn lookup_concrete_lib_func( &self, id: &ConcreteLibfuncId, ) -> ConcreteLibfuncLongId
fn intern_concrete_type<'db>( &'db self, id: SierraGeneratorTypeLongId<'db>, ) -> ConcreteTypeId
fn lookup_concrete_type<'db>( &'db self, id: &ConcreteTypeId, ) -> SierraGeneratorTypeLongId<'db>
Source§fn intern_sierra_function<'db>(&'db self, id: FunctionId<'db>) -> FunctionId
fn intern_sierra_function<'db>(&'db self, id: FunctionId<'db>) -> FunctionId
fn lookup_sierra_function<'db>(&'db self, id: &FunctionId) -> FunctionId<'db>
Source§fn get_concrete_type_id<'db>(
&'db self,
type_id: TypeId<'db>,
) -> Result<&'db ConcreteTypeId, DiagnosticAdded>
fn get_concrete_type_id<'db>( &'db self, type_id: TypeId<'db>, ) -> Result<&'db ConcreteTypeId, DiagnosticAdded>
Source§fn get_index_enum_type_id(
&self,
index_count: usize,
) -> Result<&ConcreteTypeId, DiagnosticAdded>
fn get_index_enum_type_id( &self, index_count: usize, ) -> Result<&ConcreteTypeId, DiagnosticAdded>
Source§fn get_concrete_long_type_id<'db>(
&'db self,
type_id: TypeId<'db>,
) -> Result<&'db Arc<ConcreteTypeLongId>, DiagnosticAdded>
fn get_concrete_long_type_id<'db>( &'db self, type_id: TypeId<'db>, ) -> Result<&'db Arc<ConcreteTypeLongId>, DiagnosticAdded>
Source§fn is_self_referential<'db>(
&self,
type_id: TypeId<'db>,
) -> Result<bool, DiagnosticAdded>
fn is_self_referential<'db>( &self, type_id: TypeId<'db>, ) -> Result<bool, DiagnosticAdded>
Source§fn type_dependencies<'db>(
&'db self,
type_id: TypeId<'db>,
) -> Result<&'db [TypeId<'db>], DiagnosticAdded>
fn type_dependencies<'db>( &'db self, type_id: TypeId<'db>, ) -> Result<&'db [TypeId<'db>], DiagnosticAdded>
fn has_in_deps<'db>( &self, type_id: TypeId<'db>, needle: TypeId<'db>, ) -> Result<bool, DiagnosticAdded>
Source§fn get_function_signature(
&self,
function_id: FunctionId,
) -> Result<&FunctionSignature, DiagnosticAdded>
fn get_function_signature( &self, function_id: FunctionId, ) -> Result<&FunctionSignature, DiagnosticAdded>
Source§fn get_type_info(
&self,
concrete_type_id: ConcreteTypeId,
) -> Result<&TypeInfo, DiagnosticAdded>
fn get_type_info( &self, concrete_type_id: ConcreteTypeId, ) -> Result<&TypeInfo, DiagnosticAdded>
Source§fn priv_function_with_body_sierra_data<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
) -> Result<&'db SierraFunctionWithBodyData<'db>, DiagnosticAdded>
fn priv_function_with_body_sierra_data<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<&'db SierraFunctionWithBodyData<'db>, DiagnosticAdded>
Source§fn function_with_body_sierra<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
) -> Result<&'db Function<'db>, DiagnosticAdded>
fn function_with_body_sierra<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<&'db Function<'db>, DiagnosticAdded>
Source§fn priv_get_dummy_function<'db>(
&'db self,
function_id: ConcreteFunctionWithBodyId<'db>,
) -> Result<&'db Function<'db>, DiagnosticAdded>
fn priv_get_dummy_function<'db>( &'db self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<&'db Function<'db>, DiagnosticAdded>
Source§fn get_ap_change<'db>(
&self,
function_id: ConcreteFunctionWithBodyId<'db>,
) -> Result<SierraApChange, DiagnosticAdded>
fn get_ap_change<'db>( &self, function_id: ConcreteFunctionWithBodyId<'db>, ) -> Result<SierraApChange, DiagnosticAdded>
Source§fn priv_libfunc_dependencies(
&self,
libfunc_id: ConcreteLibfuncId,
) -> &[ConcreteTypeId]
fn priv_libfunc_dependencies( &self, libfunc_id: ConcreteLibfuncId, ) -> &[ConcreteTypeId]
Source§fn get_sierra_program_for_functions<'db>(
&'db self,
requested_function_ids: Vec<ConcreteFunctionWithBodyId<'db>>,
) -> Result<&'db SierraProgramWithDebug<'db>, DiagnosticAdded>
fn get_sierra_program_for_functions<'db>( &'db self, requested_function_ids: Vec<ConcreteFunctionWithBodyId<'db>>, ) -> Result<&'db SierraProgramWithDebug<'db>, DiagnosticAdded>
Source§fn get_sierra_program<'db>(
&'db self,
requested_crate_ids: Vec<CrateId<'db>>,
) -> Result<&'db SierraProgramWithDebug<'db>, DiagnosticAdded>
fn get_sierra_program<'db>( &'db self, requested_crate_ids: Vec<CrateId<'db>>, ) -> Result<&'db SierraProgramWithDebug<'db>, DiagnosticAdded>
Source§impl<'db, T> StructSemantic<'db> for T
impl<'db, T> StructSemantic<'db> for T
Source§fn struct_declaration_diagnostics(
&'db self,
struct_id: StructId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn struct_declaration_diagnostics( &'db self, struct_id: StructId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn struct_generic_params(
&'db self,
struct_id: StructId<'db>,
) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
fn struct_generic_params( &'db self, struct_id: StructId<'db>, ) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
Source§fn struct_attributes(
&'db self,
struct_id: StructId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn struct_attributes( &'db self, struct_id: StructId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§fn struct_declaration_resolver_data(
&'db self,
struct_id: StructId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn struct_declaration_resolver_data( &'db self, struct_id: StructId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn struct_definition_diagnostics(
&'db self,
struct_id: StructId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn struct_definition_diagnostics( &'db self, struct_id: StructId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn struct_members(
&'db self,
struct_id: StructId<'db>,
) -> Result<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>, DiagnosticAdded>
fn struct_members( &'db self, struct_id: StructId<'db>, ) -> Result<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>, DiagnosticAdded>
Source§fn struct_definition_resolver_data(
&'db self,
struct_id: StructId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn struct_definition_resolver_data( &'db self, struct_id: StructId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn concrete_struct_members(
&'db self,
concrete_struct_id: ConcreteStructId<'db>,
) -> Result<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>, DiagnosticAdded>
fn concrete_struct_members( &'db self, concrete_struct_id: ConcreteStructId<'db>, ) -> Result<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>, DiagnosticAdded>
Source§impl<T> SyntaxGroup for T
impl<T> SyntaxGroup for T
Source§fn get_children<'db>(&'db self, node: SyntaxNode<'db>) -> &'db [SyntaxNode<'db>]
fn get_children<'db>(&'db self, node: SyntaxNode<'db>) -> &'db [SyntaxNode<'db>]
Source§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B> of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B> of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R> view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R> view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap() only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut() only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref() only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut() only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref() only in debug builds, and is erased in release
builds.Source§impl<'db, T> TraitSemantic<'db> for T
impl<'db, T> TraitSemantic<'db> for T
Source§fn trait_semantic_declaration_diagnostics(
&'db self,
trait_id: TraitId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn trait_semantic_declaration_diagnostics( &'db self, trait_id: TraitId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn trait_generic_params(
&'db self,
trait_id: TraitId<'db>,
) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
fn trait_generic_params( &'db self, trait_id: TraitId<'db>, ) -> Result<&'db [GenericParam<'db>], DiagnosticAdded>
Source§fn trait_generic_params_ids(
&'db self,
trait_id: TraitId<'db>,
) -> Result<&'db [GenericParamId<'db>], DiagnosticAdded>
fn trait_generic_params_ids( &'db self, trait_id: TraitId<'db>, ) -> Result<&'db [GenericParamId<'db>], DiagnosticAdded>
Source§fn trait_attributes(
&'db self,
trait_id: TraitId<'db>,
) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
fn trait_attributes( &'db self, trait_id: TraitId<'db>, ) -> Result<&'db [Attribute<'db>], DiagnosticAdded>
Source§fn trait_resolver_data(
&'db self,
trait_id: TraitId<'db>,
) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
fn trait_resolver_data( &'db self, trait_id: TraitId<'db>, ) -> Result<Arc<ResolverData<'db>>, DiagnosticAdded>
Source§fn trait_semantic_definition_diagnostics(
&'db self,
trait_id: TraitId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn trait_semantic_definition_diagnostics( &'db self, trait_id: TraitId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Source§fn trait_required_item_names(
&'db self,
trait_id: TraitId<'db>,
) -> Result<&'db OrderedHashSet<SmolStrId<'db>>, DiagnosticAdded>
fn trait_required_item_names( &'db self, trait_id: TraitId<'db>, ) -> Result<&'db OrderedHashSet<SmolStrId<'db>>, DiagnosticAdded>
Source§fn trait_item_by_name(
&'db self,
trait_id: TraitId<'db>,
name: SmolStrId<'db>,
) -> Result<Option<TraitItemId<'db>>, DiagnosticAdded>
fn trait_item_by_name( &'db self, trait_id: TraitId<'db>, name: SmolStrId<'db>, ) -> Result<Option<TraitItemId<'db>>, DiagnosticAdded>
name, if exists.Source§fn trait_item_info_by_name(
&'db self,
trait_id: TraitId<'db>,
name: SmolStrId<'db>,
) -> Result<Option<TraitItemInfo<'db>>, DiagnosticAdded>
fn trait_item_info_by_name( &'db self, trait_id: TraitId<'db>, name: SmolStrId<'db>, ) -> Result<Option<TraitItemInfo<'db>>, DiagnosticAdded>
name, if exists.