It would go in https://rustc-dev-guide.rust-lang.org/compiler-debugging.html#getting-logging-output. cc @camelid _Originally posted by @jyn514 in https://github.com/rust-lang/rust/pull/78548#issuecomment-732537267_ <!-- TRIAGEBOT_START --> <!-- TRIAGEBOT_ASSIGN_START --> <!-- TRIAGEBOT_ASSIGN_DATA_START$${"user":"camelid"}$$TRIAGEBOT_ASSIGN_DATA_END --> <!-- TRIAGEBOT_ASSIGN_END --> <!-- TRIAGEBOT_END -->