Skip to content

Commit 340e708

Browse files
committed
Some tracing cleanups
1 parent 56d540e commit 340e708

File tree

3 files changed

+3
-5
lines changed

3 files changed

+3
-5
lines changed

compiler/rustc_borrowck/src/type_check/free_region_relations.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -334,8 +334,8 @@ impl<'tcx> UniversalRegionRelationsBuilder<'_, 'tcx> {
334334
/// either the return type of the MIR or one of its arguments. At
335335
/// the same time, compute and add any implied bounds that come
336336
/// from this local.
337+
#[instrument(level = "debug", skip(self))]
337338
fn add_implied_bounds(&mut self, ty: Ty<'tcx>) -> Option<Rc<QueryRegionConstraints<'tcx>>> {
338-
debug!("add_implied_bounds(ty={:?})", ty);
339339
let TypeOpOutput { output: bounds, constraints, .. } = self
340340
.param_env
341341
.and(type_op::implied_outlives_bounds::ImpliedOutlivesBounds { ty })

compiler/rustc_infer/src/infer/outlives/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,10 +8,10 @@ pub mod verify;
88
use rustc_middle::traits::query::OutlivesBound;
99
use rustc_middle::ty;
1010

11+
#[instrument(level = "debug", skip(param_env))]
1112
pub fn explicit_outlives_bounds<'tcx>(
1213
param_env: ty::ParamEnv<'tcx>,
1314
) -> impl Iterator<Item = OutlivesBound<'tcx>> + 'tcx {
14-
debug!("explicit_outlives_bounds()");
1515
param_env
1616
.caller_bounds()
1717
.into_iter()

compiler/rustc_typeck/src/check/regionck.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -130,18 +130,16 @@ impl<'tcx> OutlivesEnvironmentExt<'tcx> for OutlivesEnvironment<'tcx> {
130130
/// add those assumptions into the outlives-environment.
131131
///
132132
/// Tests: `src/test/ui/regions/regions-free-region-ordering-*.rs`
133+
#[instrument(level = "debug", skip(self, infcx))]
133134
fn add_implied_bounds<'a>(
134135
&mut self,
135136
infcx: &InferCtxt<'a, 'tcx>,
136137
fn_sig_tys: FxHashSet<Ty<'tcx>>,
137138
body_id: hir::HirId,
138139
span: Span,
139140
) {
140-
debug!("add_implied_bounds()");
141-
142141
for ty in fn_sig_tys {
143142
let ty = infcx.resolve_vars_if_possible(ty);
144-
debug!("add_implied_bounds: ty = {}", ty);
145143
let implied_bounds = infcx.implied_outlives_bounds(self.param_env, body_id, ty, span);
146144
self.add_outlives_bounds(Some(infcx), implied_bounds)
147145
}

0 commit comments

Comments
 (0)