Auto merge of #17087 - davidbarsky:david/fix-some-tracing-spans, r=Veykril
chore: fix a few spans without `.entered()`
This commit is contained in:
commit
46702ffc1a
@ -13,7 +13,7 @@
|
|||||||
};
|
};
|
||||||
|
|
||||||
pub fn missing_unsafe(db: &dyn HirDatabase, def: DefWithBodyId) -> Vec<ExprId> {
|
pub fn missing_unsafe(db: &dyn HirDatabase, def: DefWithBodyId) -> Vec<ExprId> {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "missing_unsafe",);
|
let _p = tracing::span!(tracing::Level::INFO, "missing_unsafe").entered();
|
||||||
|
|
||||||
let mut res = Vec::new();
|
let mut res = Vec::new();
|
||||||
let is_unsafe = match def {
|
let is_unsafe = match def {
|
||||||
|
@ -15,7 +15,7 @@
|
|||||||
// FIXME: Turn this into a query, it can be quite slow
|
// FIXME: Turn this into a query, it can be quite slow
|
||||||
/// Checks whether a type is visibly uninhabited from a particular module.
|
/// Checks whether a type is visibly uninhabited from a particular module.
|
||||||
pub(crate) fn is_ty_uninhabited_from(db: &dyn HirDatabase, ty: &Ty, target_mod: ModuleId) -> bool {
|
pub(crate) fn is_ty_uninhabited_from(db: &dyn HirDatabase, ty: &Ty, target_mod: ModuleId) -> bool {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "is_ty_uninhabited_from", ?ty);
|
let _p = tracing::span!(tracing::Level::INFO, "is_ty_uninhabited_from", ?ty).entered();
|
||||||
let mut uninhabited_from =
|
let mut uninhabited_from =
|
||||||
UninhabitedFrom { target_mod, db, max_depth: 500, recursive_ty: FxHashSet::default() };
|
UninhabitedFrom { target_mod, db, max_depth: 500, recursive_ty: FxHashSet::default() };
|
||||||
let inhabitedness = ty.visit_with(&mut uninhabited_from, DebruijnIndex::INNERMOST);
|
let inhabitedness = ty.visit_with(&mut uninhabited_from, DebruijnIndex::INNERMOST);
|
||||||
@ -30,7 +30,7 @@ pub(crate) fn is_enum_variant_uninhabited_from(
|
|||||||
subst: &Substitution,
|
subst: &Substitution,
|
||||||
target_mod: ModuleId,
|
target_mod: ModuleId,
|
||||||
) -> bool {
|
) -> bool {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "is_enum_variant_uninhabited_from",);
|
let _p = tracing::span!(tracing::Level::INFO, "is_enum_variant_uninhabited_from").entered();
|
||||||
|
|
||||||
let mut uninhabited_from =
|
let mut uninhabited_from =
|
||||||
UninhabitedFrom { target_mod, db, max_depth: 500, recursive_ty: FxHashSet::default() };
|
UninhabitedFrom { target_mod, db, max_depth: 500, recursive_ty: FxHashSet::default() };
|
||||||
|
@ -239,7 +239,7 @@ pub fn query_external_importables(
|
|||||||
db: &dyn DefDatabase,
|
db: &dyn DefDatabase,
|
||||||
query: import_map::Query,
|
query: import_map::Query,
|
||||||
) -> impl Iterator<Item = Either<ModuleDef, Macro>> {
|
) -> impl Iterator<Item = Either<ModuleDef, Macro>> {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "query_external_importables");
|
let _p = tracing::span!(tracing::Level::INFO, "query_external_importables").entered();
|
||||||
import_map::search_dependencies(db, self.into(), &query).into_iter().map(|item| {
|
import_map::search_dependencies(db, self.into(), &query).into_iter().map(|item| {
|
||||||
match ItemInNs::from(item) {
|
match ItemInNs::from(item) {
|
||||||
ItemInNs::Types(mod_id) | ItemInNs::Values(mod_id) => Either::Left(mod_id),
|
ItemInNs::Types(mod_id) | ItemInNs::Values(mod_id) => Either::Left(mod_id),
|
||||||
@ -548,7 +548,8 @@ pub fn diagnostics(
|
|||||||
acc: &mut Vec<AnyDiagnostic>,
|
acc: &mut Vec<AnyDiagnostic>,
|
||||||
style_lints: bool,
|
style_lints: bool,
|
||||||
) {
|
) {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "Module::diagnostics", name = ?self.name(db));
|
let _p = tracing::span!(tracing::Level::INFO, "Module::diagnostics", name = ?self.name(db))
|
||||||
|
.entered();
|
||||||
let def_map = self.id.def_map(db.upcast());
|
let def_map = self.id.def_map(db.upcast());
|
||||||
for diag in def_map.diagnostics() {
|
for diag in def_map.diagnostics() {
|
||||||
if diag.in_module != self.id.local_id {
|
if diag.in_module != self.id.local_id {
|
||||||
@ -4494,7 +4495,7 @@ pub fn iterate_method_candidates_with_traits<T>(
|
|||||||
name: Option<&Name>,
|
name: Option<&Name>,
|
||||||
mut callback: impl FnMut(Function) -> Option<T>,
|
mut callback: impl FnMut(Function) -> Option<T>,
|
||||||
) -> Option<T> {
|
) -> Option<T> {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "iterate_method_candidates");
|
let _p = tracing::span!(tracing::Level::INFO, "iterate_method_candidates").entered();
|
||||||
let mut slot = None;
|
let mut slot = None;
|
||||||
|
|
||||||
self.iterate_method_candidates_dyn(
|
self.iterate_method_candidates_dyn(
|
||||||
@ -4582,7 +4583,7 @@ pub fn iterate_path_candidates<T>(
|
|||||||
name: Option<&Name>,
|
name: Option<&Name>,
|
||||||
mut callback: impl FnMut(AssocItem) -> Option<T>,
|
mut callback: impl FnMut(AssocItem) -> Option<T>,
|
||||||
) -> Option<T> {
|
) -> Option<T> {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "iterate_path_candidates");
|
let _p = tracing::span!(tracing::Level::INFO, "iterate_path_candidates").entered();
|
||||||
let mut slot = None;
|
let mut slot = None;
|
||||||
self.iterate_path_candidates_dyn(
|
self.iterate_path_candidates_dyn(
|
||||||
db,
|
db,
|
||||||
@ -4649,7 +4650,7 @@ pub fn applicable_inherent_traits<'a>(
|
|||||||
&'a self,
|
&'a self,
|
||||||
db: &'a dyn HirDatabase,
|
db: &'a dyn HirDatabase,
|
||||||
) -> impl Iterator<Item = Trait> + 'a {
|
) -> impl Iterator<Item = Trait> + 'a {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "applicable_inherent_traits");
|
let _p = tracing::span!(tracing::Level::INFO, "applicable_inherent_traits").entered();
|
||||||
self.autoderef_(db)
|
self.autoderef_(db)
|
||||||
.filter_map(|ty| ty.dyn_trait())
|
.filter_map(|ty| ty.dyn_trait())
|
||||||
.flat_map(move |dyn_trait_id| hir_ty::all_super_traits(db.upcast(), dyn_trait_id))
|
.flat_map(move |dyn_trait_id| hir_ty::all_super_traits(db.upcast(), dyn_trait_id))
|
||||||
@ -4657,7 +4658,7 @@ pub fn applicable_inherent_traits<'a>(
|
|||||||
}
|
}
|
||||||
|
|
||||||
pub fn env_traits<'a>(&'a self, db: &'a dyn HirDatabase) -> impl Iterator<Item = Trait> + 'a {
|
pub fn env_traits<'a>(&'a self, db: &'a dyn HirDatabase) -> impl Iterator<Item = Trait> + 'a {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "env_traits");
|
let _p = tracing::span!(tracing::Level::INFO, "env_traits").entered();
|
||||||
self.autoderef_(db)
|
self.autoderef_(db)
|
||||||
.filter(|ty| matches!(ty.kind(Interner), TyKind::Placeholder(_)))
|
.filter(|ty| matches!(ty.kind(Interner), TyKind::Placeholder(_)))
|
||||||
.flat_map(|ty| {
|
.flat_map(|ty| {
|
||||||
|
@ -722,7 +722,7 @@ fn descend_into_macros_impl(
|
|||||||
mut token: SyntaxToken,
|
mut token: SyntaxToken,
|
||||||
f: &mut dyn FnMut(InFile<SyntaxToken>) -> ControlFlow<()>,
|
f: &mut dyn FnMut(InFile<SyntaxToken>) -> ControlFlow<()>,
|
||||||
) {
|
) {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "descend_into_macros");
|
let _p = tracing::span!(tracing::Level::INFO, "descend_into_macros").entered();
|
||||||
let (sa, span, file_id) =
|
let (sa, span, file_id) =
|
||||||
match token.parent().and_then(|parent| self.analyze_no_infer(&parent)) {
|
match token.parent().and_then(|parent| self.analyze_no_infer(&parent)) {
|
||||||
Some(sa) => match sa.file_id.file_id() {
|
Some(sa) => match sa.file_id.file_id() {
|
||||||
@ -1359,7 +1359,7 @@ fn analyze_impl(
|
|||||||
offset: Option<TextSize>,
|
offset: Option<TextSize>,
|
||||||
infer_body: bool,
|
infer_body: bool,
|
||||||
) -> Option<SourceAnalyzer> {
|
) -> Option<SourceAnalyzer> {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "Semantics::analyze_impl");
|
let _p = tracing::span!(tracing::Level::INFO, "Semantics::analyze_impl").entered();
|
||||||
let node = self.find_file(node);
|
let node = self.find_file(node);
|
||||||
|
|
||||||
let container = self.with_ctx(|ctx| ctx.find_container(node))?;
|
let container = self.with_ctx(|ctx| ctx.find_container(node))?;
|
||||||
|
@ -118,7 +118,7 @@ pub(super) struct SourceToDefCtx<'a, 'b> {
|
|||||||
|
|
||||||
impl SourceToDefCtx<'_, '_> {
|
impl SourceToDefCtx<'_, '_> {
|
||||||
pub(super) fn file_to_def(&self, file: FileId) -> SmallVec<[ModuleId; 1]> {
|
pub(super) fn file_to_def(&self, file: FileId) -> SmallVec<[ModuleId; 1]> {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "SourceBinder::file_to_module_def");
|
let _p = tracing::span!(tracing::Level::INFO, "SourceBinder::file_to_module_def").entered();
|
||||||
let mut mods = SmallVec::new();
|
let mut mods = SmallVec::new();
|
||||||
for &crate_id in self.db.relevant_crates(file).iter() {
|
for &crate_id in self.db.relevant_crates(file).iter() {
|
||||||
// FIXME: inner items
|
// FIXME: inner items
|
||||||
@ -133,7 +133,7 @@ impl SourceToDefCtx<'_, '_> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
pub(super) fn module_to_def(&mut self, src: InFile<ast::Module>) -> Option<ModuleId> {
|
pub(super) fn module_to_def(&mut self, src: InFile<ast::Module>) -> Option<ModuleId> {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "module_to_def");
|
let _p = tracing::span!(tracing::Level::INFO, "module_to_def").entered();
|
||||||
let parent_declaration = src
|
let parent_declaration = src
|
||||||
.syntax()
|
.syntax()
|
||||||
.ancestors_with_macros_skip_attr_item(self.db.upcast())
|
.ancestors_with_macros_skip_attr_item(self.db.upcast())
|
||||||
@ -158,7 +158,7 @@ pub(super) fn module_to_def(&mut self, src: InFile<ast::Module>) -> Option<Modul
|
|||||||
}
|
}
|
||||||
|
|
||||||
pub(super) fn source_file_to_def(&self, src: InFile<ast::SourceFile>) -> Option<ModuleId> {
|
pub(super) fn source_file_to_def(&self, src: InFile<ast::SourceFile>) -> Option<ModuleId> {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "source_file_to_def");
|
let _p = tracing::span!(tracing::Level::INFO, "source_file_to_def").entered();
|
||||||
let file_id = src.file_id.original_file(self.db.upcast());
|
let file_id = src.file_id.original_file(self.db.upcast());
|
||||||
self.file_to_def(file_id).first().copied()
|
self.file_to_def(file_id).first().copied()
|
||||||
}
|
}
|
||||||
|
@ -105,7 +105,7 @@ fn add_missing_impl_members_inner(
|
|||||||
assist_id: &'static str,
|
assist_id: &'static str,
|
||||||
label: &'static str,
|
label: &'static str,
|
||||||
) -> Option<()> {
|
) -> Option<()> {
|
||||||
let _p = tracing::span!(tracing::Level::INFO, "add_missing_impl_members_inner");
|
let _p = tracing::span!(tracing::Level::INFO, "add_missing_impl_members_inner").entered();
|
||||||
let impl_def = ctx.find_node_at_offset::<ast::Impl>()?;
|
let impl_def = ctx.find_node_at_offset::<ast::Impl>()?;
|
||||||
let impl_ = ctx.sema.to_def(&impl_def)?;
|
let impl_ = ctx.sema.to_def(&impl_def)?;
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user