pub(crate) struct DiagnosticsCollector<'a, 'db> {
db: &'db dyn HirDatabase,
krate: Crate,
edition: Edition,
style_lints: bool,
acc: &'a mut Vec<AnyDiagnostic<'db>>,
}Fields§
§db: &'db dyn HirDatabase§krate: Crate§edition: Edition§style_lints: bool§acc: &'a mut Vec<AnyDiagnostic<'db>>Implementations§
Source§impl<'a, 'db> DiagnosticsCollector<'a, 'db>
impl<'a, 'db> DiagnosticsCollector<'a, 'db>
pub(crate) fn collect( db: &'db dyn HirDatabase, module: ModuleId, acc: &'a mut Vec<AnyDiagnostic<'db>>, style_lints: bool, )
fn emit_def_diagnostic(&mut self, diag: &DefDiagnosticKind)
fn emit_def_diagnostics(&mut self, diagnostics: &DefDiagnostics)
fn emit_case_diagnostics(&mut self, def: ModuleDefId)
fn collect_macro_call(&mut self, macro_call_id: MacroCallId)
fn collect_assoc_items( &mut self, defs: &[(Name, AssocItemId)], def_map: &DefMap, )
fn collect_trait(&mut self, def: TraitId, def_map: &DefMap)
fn collect_impl( &mut self, def: ImplId, infcx: &InferCtxt<'db>, def_map: &'db DefMap, impl_assoc_items_scratch: &mut Vec<(Name, AssocItemId)>, )
fn collect_module(&mut self, def: ModuleId)
fn collect_macro_def(&mut self, def: MacroId)
fn collect_anon_const( &mut self, source_map: &ExpressionStoreSourceMap, def: AnonConstId<'db>, )
fn collect_enum(&mut self, def: EnumId)
fn collect_enum_variant(&mut self, def: EnumVariantId)
fn collect_anon_consts_and_ty_diagnostics( &mut self, source_map: &ExpressionStoreSourceMap, anon_consts: &[AnonConstId<'db>], diagnostics: &[TyLoweringDiagnostic], )
fn collect_generic_def( &mut self, store: &ExpressionStore, source_map: &ExpressionStoreSourceMap, def: GenericDefId, )
fn collect_def_with_body(&mut self, def: DefWithBodyId, type_owner: TypeOwnerId)
fn emit_inference_errors( &mut self, def: InferBodyId<'db>, source_map: &ExpressionStoreSourceMap, type_owner: TypeOwnerId, )
fn collect_variant(&mut self, def: VariantId)
fn collect_generic_def_with_body( &mut self, def: impl Into<GenericDefId> + Into<DefWithBodyId> + Copy, )
fn collect_generic_variant( &mut self, def: impl Into<GenericDefId> + Into<VariantId> + Copy, )
fn collect_only_generic_def(&mut self, def: impl Into<GenericDefId>)
fn collect_module_def(&mut self, def: ModuleDefId, def_map: &DefMap)
fn collect_expr_store( &mut self, store: &ExpressionStore, source_map: &ExpressionStoreSourceMap, )
Auto Trait Implementations§
impl<'a, 'db> !RefUnwindSafe for DiagnosticsCollector<'a, 'db>
impl<'a, 'db> !Send for DiagnosticsCollector<'a, 'db>
impl<'a, 'db> !Sync for DiagnosticsCollector<'a, 'db>
impl<'a, 'db> !UnwindSafe for DiagnosticsCollector<'a, 'db>
impl<'a, 'db> Freeze for DiagnosticsCollector<'a, 'db>
impl<'a, 'db> Unpin for DiagnosticsCollector<'a, 'db>
impl<'a, 'db> UnsafeUnpin for DiagnosticsCollector<'a, 'db>
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
Mutably borrows from an owned value. Read more
§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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> ⓘ
Converts
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> ⓘ
Converts
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 more