pub struct RootDatabase { /* private fields */ }Implementations§
Source§impl RootDatabase
impl RootDatabase
pub fn empty() -> Self
pub fn builder() -> RootDatabaseBuilder
Sourcepub fn snapshot(&self) -> RootDatabase
pub fn snapshot(&self) -> RootDatabase
Snapshots the db for read only.
Trait Implementations§
Source§impl Clone for RootDatabase
impl Clone for RootDatabase
Source§fn clone(&self) -> RootDatabase
fn clone(&self) -> RootDatabase
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Database for RootDatabase
impl Database for RootDatabase
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 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)
Source§impl Default for RootDatabase
impl Default for RootDatabase
Auto Trait Implementations§
impl !Freeze for RootDatabase
impl RefUnwindSafe for RootDatabase
impl Send for RootDatabase
impl !Sync for RootDatabase
impl Unpin for RootDatabase
impl !UnwindSafe for RootDatabase
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<'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 as 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 [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>(
&mut self,
crate_id: CrateId<'db>,
plugins: Arc<Vec<MacroPluginId<'db>>>,
)
fn set_override_crate_macro_plugins<'db>( &mut self, crate_id: CrateId<'db>, plugins: Arc<Vec<MacroPluginId<'db>>>, )
Source§fn set_override_crate_inline_macro_plugins<'db>(
&mut self,
crate_id: CrateId<'db>,
plugins: Arc<OrderedHashMap<String, InlineMacroExprPluginId<'db>>>,
)
fn set_override_crate_inline_macro_plugins<'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 flags<'db>(&'db self) -> &'db OrderedHashMap<FlagId<'db>, Arc<Flag>>
fn flags<'db>(&'db self) -> &'db OrderedHashMap<FlagId<'db>, Arc<Flag>>
flags_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 get_flag<'db>(&'db self, id: FlagId<'db>) -> Option<&'db Flag>
fn get_flag<'db>(&'db self, id: FlagId<'db>) -> Option<&'db Flag>
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§fn set_flag(&mut self, flag: FlagLongId, value: Option<Arc<Flag>>)
fn set_flag(&mut self, flag: FlagLongId, value: Option<Arc<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> 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 optimization_config(&self) -> &OptimizationConfig
fn optimization_config(&self) -> &OptimizationConfig
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 accumulate_inline_macro_expansion(&'db self, file: &FileLongId<'db>)
fn accumulate_inline_macro_expansion(&'db self, file: &FileLongId<'db>)
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§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
T: Clone,
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter> SemanticRewriter<Vec<T>, E> for TRewriterwhere
T: Clone,
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.