1
Fork 0

Some perf optimizations and logging

This commit is contained in:
jackh726 2021-07-16 16:23:42 -04:00
parent 32c447e179
commit d954a8ee8e
10 changed files with 24 additions and 14 deletions

View file

@ -65,7 +65,7 @@ impl<'cx, 'tcx> AtExt<'tcx> for At<'cx, 'tcx> {
};
let result = value.fold_with(&mut normalizer);
debug!(
info!(
"normalize::<{}>: result={:?} with {} obligations",
std::any::type_name::<T>(),
result,