};
// When printing regions, add trailing space if necessary.
- ty::print::PrintCx::with(ty::print::FmtPrinter { fmt }, |cx| {
- let region = if cx.is_verbose || cx.identify_regions {
+ ty::print::PrintCx::with_tls_tcx(ty::print::FmtPrinter { fmt }, |cx| {
+ let region = if cx.config.is_verbose || cx.config.identify_regions {
let mut region = region.to_string();
if region.len() > 0 {
region.push(' ');