diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-09-07 21:48:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-07 21:48:16 +0200 |
| commit | 0a1c816dcd8cd1c215162cf0043637bc4767c88a (patch) | |
| tree | 734a284d04f20b683b479dc9b099f7d706752659 /compiler/rustc_trait_selection/src | |
| parent | c365ce3ffddd05d85c55bdbcdb30a1106baf6072 (diff) | |
| parent | d42afd2bd19a33e99bad027909b88becab1068c4 (diff) | |
| download | rust-0a1c816dcd8cd1c215162cf0043637bc4767c88a.tar.gz rust-0a1c816dcd8cd1c215162cf0043637bc4767c88a.zip | |
Rollup merge of #101503 - spastorino:add-debug-calls, r=compiler-errors
Add debug calls `@oli-obk` requested this and other changes as a way of simplifying https://github.com/rust-lang/rust/pull/101345. This is just going to make the diff of https://github.com/rust-lang/rust/pull/101345 smaller. r? `@oli-obk` `@cjgillot`
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/wf.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/wf.rs b/compiler/rustc_trait_selection/src/traits/wf.rs index 018ead2e130..9a571837e9f 100644 --- a/compiler/rustc_trait_selection/src/traits/wf.rs +++ b/compiler/rustc_trait_selection/src/traits/wf.rs @@ -434,6 +434,7 @@ impl<'tcx> WfPredicates<'tcx> { } /// Pushes all the predicates needed to validate that `ty` is WF into `out`. + #[instrument(level = "debug", skip(self))] fn compute(&mut self, arg: GenericArg<'tcx>) { let mut walker = arg.walk(); let param_env = self.param_env; @@ -488,6 +489,8 @@ impl<'tcx> WfPredicates<'tcx> { } }; + debug!("wf bounds for ty={:?} ty.kind={:#?}", ty, ty.kind()); + match *ty.kind() { ty::Bool | ty::Char |