+use crate::hir;
use crate::hir::def::Namespace;
-use crate::hir::def_id::DefId;
-use crate::middle::region;
-use crate::ty::subst::{Kind, Subst, SubstsRef, UnpackedKind};
-use crate::ty::{BrAnon, BrEnv, BrFresh, BrNamed};
-use crate::ty::{Bool, Char, Adt};
-use crate::ty::{Error, Str, Array, Slice, Float, FnDef, FnPtr};
-use crate::ty::{Param, Bound, RawPtr, Ref, Never, Tuple};
-use crate::ty::{Closure, Generator, GeneratorWitness, Foreign, Projection, Opaque};
-use crate::ty::{Placeholder, UnnormalizedProjection, Dynamic, Int, Uint, Infer};
-use crate::ty::{self, ParamConst, Ty, TypeFoldable};
-use crate::ty::print::{FmtPrinter, PrettyPrinter, PrintCx, Print, Printer};
+use crate::ty::subst::{Kind, UnpackedKind};
+use crate::ty::{self, ParamConst, Ty, TyCtxt};
+use crate::ty::print::{FmtPrinter, PrettyPrinter, PrintCx, Print};
use crate::mir::interpret::ConstValue;
-use std::fmt::{self, Write as _};
+use std::fmt;
use std::iter;
-use std::usize;
use rustc_target::spec::abi::Abi;
-use syntax::ast::CRATE_NODE_ID;
-use syntax::symbol::{Symbol, InternedString};
-use crate::hir;
-macro_rules! gen_display_debug_body {
- ( $with:path ) => {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- PrintCx::with_tls_tcx(FmtPrinter::new(f), |cx| {
- $with(&cx.tcx.lift(self).expect("could not lift for printing"), cx)?;
- Ok(())
- })
- }
- };
+pub trait LiftAndPrintToFmt<'tcx> {
+ fn lift_and_print_to_fmt(
+ &self,
+ tcx: TyCtxt<'_, '_, 'tcx>,
+ f: &mut fmt::Formatter<'_>,
+ ) -> fmt::Result;
}
-macro_rules! gen_display_debug {
- ( ($($x:tt)+) $target:ty, display yes ) => {
- impl<$($x)+> fmt::Display for $target {
- gen_display_debug_body! { Print::print_display }
- }
- };
- ( () $target:ty, display yes ) => {
- impl fmt::Display for $target {
- gen_display_debug_body! { Print::print_display }
- }
- };
- ( ($($x:tt)+) $target:ty, debug yes ) => {
- impl<$($x)+> fmt::Debug for $target {
- gen_display_debug_body! { Print::print_debug }
- }
- };
- ( () $target:ty, debug yes ) => {
- impl fmt::Debug for $target {
- gen_display_debug_body! { Print::print_debug }
- }
- };
- ( $generic:tt $target:ty, $t:ident no ) => {};
+
+impl<T> LiftAndPrintToFmt<'tcx> for T
+ where T: ty::Lift<'tcx>,
+ for<'a, 'b> <T as ty::Lift<'tcx>>::Lifted:
+ Print<'tcx, FmtPrinter<&'a mut fmt::Formatter<'b>>, Error = fmt::Error>
+{
+ fn lift_and_print_to_fmt(
+ &self,
+ tcx: TyCtxt<'_, '_, 'tcx>,
+ f: &mut fmt::Formatter<'_>,
+ ) -> fmt::Result {
+ PrintCx::with(tcx, FmtPrinter::new(f, Namespace::TypeNS), |cx| {
+ cx.tcx.lift(self).expect("could not lift for printing").print(cx)?;
+ Ok(())
+ })
+ }
}
-macro_rules! gen_print_impl {
- ( ($($x:tt)+) $target:ty, ($self:ident, $cx:ident) $disp:block $dbg:block ) => {
- impl<$($x)+, P: PrettyPrinter> Print<'tcx, P> for $target {
- type Output = P;
- type Error = fmt::Error;
- fn print(&$self, $cx: PrintCx<'_, '_, 'tcx, P>) -> Result<Self::Output, Self::Error> {
- #[allow(unused_mut)]
- let mut $cx = $cx;
- let _: () = {
- define_scoped_cx!($cx);
- if $cx.config.is_debug $dbg
- else $disp
- };
- Ok($cx.printer)
+// HACK(eddyb) this is separate because `ty::RegionKind` doesn't need lifting.
+impl LiftAndPrintToFmt<'tcx> for ty::RegionKind {
+ fn lift_and_print_to_fmt(
+ &self,
+ tcx: TyCtxt<'_, '_, 'tcx>,
+ f: &mut fmt::Formatter<'_>,
+ ) -> fmt::Result {
+ PrintCx::with(tcx, FmtPrinter::new(f, Namespace::TypeNS), |cx| {
+ self.print(cx)?;
+ Ok(())
+ })
+ }
+}
+
+macro_rules! define_print {
+ (<$($T:ident),*> $target:ty) => {
+ impl<$($T),*> fmt::Display for $target
+ where Self: for<'a> LiftAndPrintToFmt<'a>
+ {
+ fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+ ty::tls::with(|tcx| self.lift_and_print_to_fmt(tcx, f))
}
}
};
- ( () $target:ty, ($self:ident, $cx:ident) $disp:block $dbg:block ) => {
- impl<P: PrettyPrinter> Print<'tcx, P> for $target {
+
+ (<$($T:ident),*> $target:ty, ($self:ident, $cx:ident) { display $disp:block }) => {
+ impl<$($T,)* P: PrettyPrinter> Print<'tcx, P> for $target
+ where $($T: Print<'tcx, P, Output = P, Error = P::Error>),*
+ {
type Output = P;
type Error = fmt::Error;
fn print(&$self, $cx: PrintCx<'_, '_, 'tcx, P>) -> Result<Self::Output, Self::Error> {
#[allow(unused_mut)]
let mut $cx = $cx;
- let _: () = {
- define_scoped_cx!($cx);
-
- if $cx.config.is_debug $dbg
- else $disp
- };
+ define_scoped_cx!($cx);
+ let _: () = $disp;
+ #[allow(unreachable_code)]
Ok($cx.printer)
}
}
+
+ define_print!(<$($T),*> $target);
};
- ( $generic:tt $target:ty,
- $vars:tt $gendisp:ident $disp:block $gendbg:ident $dbg:block ) => {
- gen_print_impl! { $generic $target, $vars $disp $dbg }
- gen_display_debug! { $generic $target, display $gendisp }
- gen_display_debug! { $generic $target, debug $gendbg }
- }
-}
-macro_rules! define_print {
- ( $generic:tt $target:ty,
- $vars:tt { display $disp:block debug $dbg:block } ) => {
- gen_print_impl! { $generic $target, $vars yes $disp yes $dbg }
- };
- ( $generic:tt $target:ty,
- $vars:tt { debug $dbg:block display $disp:block } ) => {
- gen_print_impl! { $generic $target, $vars yes $disp yes $dbg }
- };
- ( $generic:tt $target:ty,
- $vars:tt { debug $dbg:block } ) => {
- gen_print_impl! { $generic $target, $vars no {
- bug!(concat!("display not implemented for ", stringify!($target)));
- } yes $dbg }
- };
- ( $generic:tt $target:ty,
- ($self:ident, $cx:ident) { display $disp:block } ) => {
- gen_print_impl! { $generic $target, ($self, $cx) yes $disp no {
- write!($cx.printer, "{:?}", $self)?
- } }
+
+ ($target:ty) => {
+ define_print!(<> $target);
};
-}
-macro_rules! define_print_multi {
- ( [ $($generic:tt $target:ty),* ] $vars:tt $def:tt ) => {
- $(define_print! { $generic $target, $vars $def })*
+
+ ($target:ty, ($self:ident, $cx:ident) { display $disp:block }) => {
+ define_print!(<> $target, ($self, $cx) { display $disp });
};
}
+
macro_rules! nest {
($closure:expr) => {
scoped_cx!() = scoped_cx!().nest($closure)?
};
}
-impl<P: PrettyPrinter> PrintCx<'a, 'gcx, 'tcx, P> {
- fn fn_sig(
- mut self,
- inputs: &[Ty<'tcx>],
- c_variadic: bool,
- output: Ty<'tcx>,
- ) -> Result<P, fmt::Error> {
- define_scoped_cx!(self);
-
- p!(write("("));
- let mut inputs = inputs.iter();
- if let Some(&ty) = inputs.next() {
- p!(print_display(ty));
- for &ty in inputs {
- p!(write(", "), print_display(ty));
- }
- if c_variadic {
- p!(write(", ..."));
- }
- }
- p!(write(")"));
- if !output.is_unit() {
- p!(write(" -> "), print_display(output));
- }
-
- Ok(self.printer)
- }
-
- fn in_binder<T>(mut self, value: &ty::Binder<T>) -> Result<P, fmt::Error>
- where T: Print<'tcx, P, Output = P, Error = fmt::Error> + TypeFoldable<'tcx>
- {
- fn name_by_region_index(index: usize) -> InternedString {
- match index {
- 0 => Symbol::intern("'r"),
- 1 => Symbol::intern("'s"),
- i => Symbol::intern(&format!("'t{}", i-2)),
- }.as_interned_str()
- }
-
- // Replace any anonymous late-bound regions with named
- // variants, using gensym'd identifiers, so that we can
- // clearly differentiate between named and unnamed regions in
- // the output. We'll probably want to tweak this over time to
- // decide just how much information to give.
- if self.config.binder_depth == 0 {
- self.prepare_late_bound_region_info(value);
- }
-
- let mut empty = true;
- let mut start_or_continue = |cx: &mut Self, start: &str, cont: &str| {
- write!(cx.printer, "{}", if empty {
- empty = false;
- start
- } else {
- cont
- })
- };
-
- // NOTE(eddyb) this must be below `start_or_continue`'s definition
- // as that also has a `define_scoped_cx` and that kind of shadowing
- // is disallowed (name resolution thinks `scoped_cx!` is ambiguous).
- define_scoped_cx!(self);
-
- let old_region_index = self.config.region_index;
- let mut region_index = old_region_index;
- let new_value = self.tcx.replace_late_bound_regions(value, |br| {
- let _ = start_or_continue(&mut self, "for<", ", ");
- let br = match br {
- ty::BrNamed(_, name) => {
- let _ = write!(self.printer, "{}", name);
- br
- }
- ty::BrAnon(_) |
- ty::BrFresh(_) |
- ty::BrEnv => {
- let name = loop {
- let name = name_by_region_index(region_index);
- region_index += 1;
- if !self.is_name_used(&name) {
- break name;
- }
- };
- let _ = write!(self.printer, "{}", name);
- ty::BrNamed(self.tcx.hir().local_def_id(CRATE_NODE_ID), name)
- }
- };
- self.tcx.mk_region(ty::ReLateBound(ty::INNERMOST, br))
- }).0;
- start_or_continue(&mut self, "", "> ")?;
-
- // Push current state to gcx, and restore after writing new_value.
- self.config.binder_depth += 1;
- self.config.region_index = region_index;
- let result = new_value.print_display(PrintCx {
- tcx: self.tcx,
- printer: self.printer,
- config: self.config,
- });
- self.config.region_index = old_region_index;
- self.config.binder_depth -= 1;
- result
- }
-
- fn is_name_used(&self, name: &InternedString) -> bool {
- match self.config.used_region_names {
- Some(ref names) => names.contains(name),
- None => false,
- }
- }
-}
-
-pub fn parameterized<F: fmt::Write>(
- f: &mut F,
- did: DefId,
- substs: SubstsRef<'_>,
- ns: Namespace,
-) -> fmt::Result {
- PrintCx::with_tls_tcx(FmtPrinter::new(f), |cx| {
- let substs = cx.tcx.lift(&substs).expect("could not lift for printing");
- cx.print_def_path(did, Some(substs), ns, iter::empty())?;
- Ok(())
- })
-}
-
define_print! {
- ('tcx) &'tcx ty::List<ty::ExistentialPredicate<'tcx>>, (self, cx) {
+ &'tcx ty::List<ty::ExistentialPredicate<'tcx>>, (self, cx) {
display {
// Generate the main trait ref, including associated types.
let mut first = true;
// Special-case `Fn(...) -> ...` and resugar it.
let fn_trait_kind = cx.tcx.lang_items().fn_trait_kind(principal.def_id);
- if !cx.config.is_verbose && fn_trait_kind.is_some() {
+ if !cx.tcx.sess.verbose() && fn_trait_kind.is_some() {
if let ty::Tuple(ref args) = principal.substs.type_at(0).sty {
let mut projections = self.projection_bounds();
if let (Some(proj), None) = (projections.next(), projections.next()) {
- nest!(|cx| cx.print_def_path(
- principal.def_id,
- None,
- Namespace::TypeNS,
- iter::empty(),
- ));
- nest!(|cx| cx.fn_sig(args, false, proj.ty));
+ nest!(|cx| cx.print_def_path(principal.def_id, None, iter::empty()));
+ nest!(|cx| cx.pretty_fn_sig(args, false, proj.ty));
resugared_principal = true;
}
}
nest!(|cx| cx.print_def_path(
principal.def_id,
Some(principal.substs),
- Namespace::TypeNS,
self.projection_bounds(),
));
}
}
first = false;
- nest!(|cx| cx.print_def_path(
- def_id,
- None,
- Namespace::TypeNS,
- iter::empty(),
- ));
+ nest!(|cx| cx.print_def_path(def_id, None, iter::empty()));
}
}
}
}
-impl fmt::Debug for ty::GenericParamDef {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- let type_name = match self.kind {
- ty::GenericParamDefKind::Lifetime => "Lifetime",
- ty::GenericParamDefKind::Type { .. } => "Type",
- ty::GenericParamDefKind::Const => "Const",
- };
- write!(f, "{}({}, {:?}, {})",
- type_name,
- self.name,
- self.def_id,
- self.index)
- }
-}
-
-impl fmt::Debug for ty::TraitDef {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- PrintCx::with_tls_tcx(FmtPrinter::new(f), |cx| {
- cx.print_def_path(
- self.def_id,
- None,
- Namespace::TypeNS,
- iter::empty(),
- )?;
- Ok(())
- })
- }
-}
-
-impl fmt::Debug for ty::AdtDef {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- PrintCx::with_tls_tcx(FmtPrinter::new(f), |cx| {
- cx.print_def_path(
- self.did,
- None,
- Namespace::TypeNS,
- iter::empty(),
- )?;
- Ok(())
- })
- }
-}
-
-impl<'tcx> fmt::Debug for ty::ClosureUpvar<'tcx> {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- write!(f, "ClosureUpvar({:?},{:?})",
- self.def,
- self.ty)
- }
-}
-
-impl fmt::Debug for ty::UpvarId {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- PrintCx::with_tls_tcx(FmtPrinter::new(f), |mut cx| {
- define_scoped_cx!(cx);
- p!(write("UpvarId({:?};`{}`;{:?})",
- self.var_path.hir_id,
- cx.tcx.hir().name_by_hir_id(self.var_path.hir_id),
- self.closure_expr_id));
- Ok(())
- })
- }
-}
-
-impl<'tcx> fmt::Debug for ty::UpvarBorrow<'tcx> {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- write!(f, "UpvarBorrow({:?}, {:?})",
- self.kind, self.region)
- }
-}
-
define_print! {
- ('tcx) &'tcx ty::List<Ty<'tcx>>, (self, cx) {
+ &'tcx ty::List<Ty<'tcx>>, (self, cx) {
display {
p!(write("{{"));
let mut tys = self.iter();
}
define_print! {
- ('tcx) ty::TypeAndMut<'tcx>, (self, cx) {
+ ty::TypeAndMut<'tcx>, (self, cx) {
display {
p!(
write("{}", if self.mutbl == hir::MutMutable { "mut " } else { "" }),
}
define_print! {
- ('tcx) ty::ExistentialTraitRef<'tcx>, (self, cx) {
+ ty::ExistentialTraitRef<'tcx>, (self, cx) {
display {
let dummy_self = cx.tcx.mk_infer(ty::FreshTy(0));
let trait_ref = *ty::Binder::bind(*self)
.with_self_ty(cx.tcx, dummy_self)
.skip_binder();
- p!(print_display(trait_ref))
- }
- debug {
- p!(print_display(self))
- }
- }
-}
-
-define_print! {
- ('tcx) ty::adjustment::Adjustment<'tcx>, (self, cx) {
- debug {
- p!(write("{:?} -> ", self.kind), print(self.target))
+ p!(print(trait_ref))
}
}
}
define_print! {
- () ty::BoundRegion, (self, cx) {
- display {
- if cx.config.is_verbose {
- return self.print_debug(cx);
- }
-
- if let BrNamed(_, name) = *self {
- if name != "" && name != "'_" {
- p!(write("{}", name));
- return Ok(cx.printer);
- }
- }
-
- let highlight = cx.printer.region_highlight_mode();
- if let Some((region, counter)) = highlight.highlight_bound_region {
- if *self == region {
- p!(write("'{}", counter));
- }
- }
- }
- debug {
- match *self {
- BrAnon(n) => p!(write("BrAnon({:?})", n)),
- BrFresh(n) => p!(write("BrFresh({:?})", n)),
- BrNamed(did, name) => {
- p!(write("BrNamed({:?}:{:?}, {})",
- did.krate, did.index, name))
- }
- BrEnv => p!(write("BrEnv")),
- }
- }
- }
-}
-
-// HACK(eddyb) (see `ty::RegionKind::display_outputs_anything`)
-//
-// NB: this must be kept in sync with the printing logic above.
-impl ty::BoundRegion {
- fn display_outputs_anything<P>(&self, cx: &PrintCx<'_, '_, '_, P>) -> bool
- where P: PrettyPrinter
- {
- if cx.config.is_verbose {
- return true;
- }
-
- if let BrNamed(_, name) = *self {
- if name != "" && name != "'_" {
- return true;
- }
- }
-
- let highlight = cx.printer.region_highlight_mode();
- if let Some((region, _)) = highlight.highlight_bound_region {
- if *self == region {
- return true;
- }
- }
-
- false
- }
-}
-
-define_print! {
- () ty::PlaceholderRegion, (self, cx) {
- display {
- if cx.config.is_verbose {
- return self.print_debug(cx);
- }
-
- let highlight = cx.printer.region_highlight_mode();
- if let Some(counter) = highlight.placeholder_highlight(*self) {
- p!(write("'{}", counter));
- } else {
- p!(print_display(self.name));
- }
- }
- }
-}
-
-// HACK(eddyb) (see `ty::RegionKind::display_outputs_anything`)
-//
-// NB: this must be kept in sync with the printing logic above.
-impl ty::PlaceholderRegion {
- fn display_outputs_anything<P>(&self, cx: &PrintCx<'_, '_, '_, P>) -> bool
- where P: PrettyPrinter
- {
- if cx.config.is_verbose {
- return true;
- }
-
- let highlight = cx.printer.region_highlight_mode();
- if highlight.placeholder_highlight(*self).is_some() {
- return true;
- }
-
- self.name.display_outputs_anything(cx)
- }
+ ty::RegionKind
}
define_print! {
- () ty::RegionKind, (self, cx) {
- display {
- if cx.config.is_verbose {
- return self.print_debug(cx);
- }
-
- // Watch out for region highlights.
- if let Some(n) = cx.printer.region_highlight_mode().region_highlighted(self) {
- p!(write("'{}", n));
- return Ok(cx.printer);
- }
-
- // These printouts are concise. They do not contain all the information
- // the user might want to diagnose an error, but there is basically no way
- // to fit that into a short string. Hence the recommendation to use
- // `explain_region()` or `note_and_explain_region()`.
- match *self {
- ty::ReEarlyBound(ref data) => {
- if data.name != "'_" {
- p!(write("{}", data.name))
- }
- }
- ty::ReLateBound(_, br) |
- ty::ReFree(ty::FreeRegion { bound_region: br, .. }) => {
- p!(print_display(br))
- }
- ty::RePlaceholder(p) => {
- p!(print_display(p))
- }
- ty::ReScope(scope) if cx.config.identify_regions => {
- match scope.data {
- region::ScopeData::Node =>
- p!(write("'{}s", scope.item_local_id().as_usize())),
- region::ScopeData::CallSite =>
- p!(write("'{}cs", scope.item_local_id().as_usize())),
- region::ScopeData::Arguments =>
- p!(write("'{}as", scope.item_local_id().as_usize())),
- region::ScopeData::Destruction =>
- p!(write("'{}ds", scope.item_local_id().as_usize())),
- region::ScopeData::Remainder(first_statement_index) => p!(write(
- "'{}_{}rs",
- scope.item_local_id().as_usize(),
- first_statement_index.index()
- )),
- }
- }
- ty::ReVar(region_vid) if cx.config.identify_regions => {
- p!(print_debug(region_vid))
- }
- ty::ReVar(region_vid) => {
- p!(print_display(region_vid))
- }
- ty::ReScope(_) |
- ty::ReErased => {}
- ty::ReStatic => p!(write("'static")),
- ty::ReEmpty => p!(write("'<empty>")),
-
- // The user should never encounter these in unsubstituted form.
- ty::ReClosureBound(vid) => p!(write("{:?}", vid)),
- }
- }
- debug {
- match *self {
- ty::ReEarlyBound(ref data) => {
- p!(write("ReEarlyBound({}, {})",
- data.index,
- data.name))
- }
-
- ty::ReClosureBound(ref vid) => {
- p!(write("ReClosureBound({:?})",
- vid))
- }
-
- ty::ReLateBound(binder_id, ref bound_region) => {
- p!(write("ReLateBound({:?}, ", binder_id),
- print_debug(bound_region),
- write(")"))
- }
-
- ty::ReFree(ref fr) => p!(print_debug(fr)),
-
- ty::ReScope(id) => {
- p!(write("ReScope({:?})", id))
- }
-
- ty::ReStatic => p!(write("ReStatic")),
-
- ty::ReVar(ref vid) => {
- p!(print_debug(vid))
- }
-
- ty::RePlaceholder(placeholder) => {
- p!(write("RePlaceholder("), print_debug(placeholder), write(")"))
- }
-
- ty::ReEmpty => p!(write("ReEmpty")),
-
- ty::ReErased => p!(write("ReErased"))
- }
- }
- }
-}
-
-// HACK(eddyb) Trying to print a lifetime might not print anything, which
-// may need special handling in the caller (of `ty::RegionKind::print`).
-// To avoid printing to a temporary string, the `display_outputs_anything`
-// method can instead be used to determine this, ahead of time.
-//
-// NB: this must be kept in sync with the printing logic above.
-impl ty::RegionKind {
- // HACK(eddyb) `pub(crate)` only for `ty::print`.
- pub(crate) fn display_outputs_anything<P>(&self, cx: &PrintCx<'_, '_, '_, P>) -> bool
- where P: PrettyPrinter
- {
- if cx.config.is_verbose {
- return true;
- }
-
- if cx.printer.region_highlight_mode().region_highlighted(self).is_some() {
- return true;
- }
-
- match *self {
- ty::ReEarlyBound(ref data) => {
- data.name != "" && data.name != "'_"
- }
-
- ty::ReLateBound(_, br) |
- ty::ReFree(ty::FreeRegion { bound_region: br, .. }) => {
- br.display_outputs_anything(cx)
- }
-
- ty::RePlaceholder(p) => p.display_outputs_anything(cx),
-
- ty::ReScope(_) |
- ty::ReVar(_) if cx.config.identify_regions => true,
-
- ty::ReVar(region_vid) => region_vid.display_outputs_anything(cx),
-
- ty::ReScope(_) |
- ty::ReErased => false,
-
- ty::ReStatic |
- ty::ReEmpty |
- ty::ReClosureBound(_) => true,
- }
- }
-}
-
-define_print! {
- () ty::FreeRegion, (self, cx) {
- debug {
- p!(write("ReFree({:?}, {:?})", self.scope, self.bound_region))
- }
- }
-}
-
-define_print! {
- () ty::Variance, (self, cx) {
- debug {
- cx.printer.write_str(match *self {
- ty::Covariant => "+",
- ty::Contravariant => "-",
- ty::Invariant => "o",
- ty::Bivariant => "*",
- })?
- }
- }
-}
-
-define_print! {
- ('tcx) ty::FnSig<'tcx>, (self, cx) {
+ ty::FnSig<'tcx>, (self, cx) {
display {
if self.unsafety == hir::Unsafety::Unsafe {
p!(write("unsafe "));
}
p!(write("fn"));
- nest!(|cx| cx.fn_sig(self.inputs(), self.c_variadic, self.output()));
- }
- debug {
- p!(write("({:?}; c_variadic: {})->{:?}",
- self.inputs(), self.c_variadic, self.output()))
- }
- }
-}
-
-impl fmt::Debug for ty::TyVid {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- write!(f, "_#{}t", self.index)
- }
-}
-
-impl<'tcx> fmt::Debug for ty::ConstVid<'tcx> {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- write!(f, "_#{}f", self.index)
- }
-}
-
-impl fmt::Debug for ty::IntVid {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- write!(f, "_#{}i", self.index)
- }
-}
-
-impl fmt::Debug for ty::FloatVid {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- write!(f, "_#{}f", self.index)
- }
-}
-
-define_print! {
- () ty::RegionVid, (self, cx) {
- display {
- if cx.config.is_verbose {
- return self.print_debug(cx);
- }
-
- let highlight = cx.printer.region_highlight_mode();
- if let Some(counter) = highlight.region_highlighted(&ty::ReVar(*self)) {
- p!(write("'{}", counter));
- }
- }
- debug {
- // HACK(eddyb) this is duplicated from `display` printing,
- // to keep NLL borrowck working even with `-Zverbose`.
- let highlight = cx.printer.region_highlight_mode();
- if let Some(counter) = highlight.region_highlighted(&ty::ReVar(*self)) {
- p!(write("'{}", counter));
- } else {
- p!(write("'_#{}r", self.index()));
- }
+ nest!(|cx| cx.pretty_fn_sig(self.inputs(), self.c_variadic, self.output()));
}
}
}
-// HACK(eddyb) (see `ty::RegionKind::display_outputs_anything`)
-//
-// NB: this must be kept in sync with the printing logic above.
-impl ty::RegionVid {
- fn display_outputs_anything<P>(&self, cx: &PrintCx<'_, '_, '_, P>) -> bool
- where P: PrettyPrinter
- {
- if cx.config.is_verbose {
- return true;
- }
-
- let highlight = cx.printer.region_highlight_mode();
- if highlight.region_highlighted(&ty::ReVar(*self)).is_some() {
- return true;
- }
-
- false
- }
-}
-
define_print! {
- () ty::InferTy, (self, cx) {
+ ty::InferTy, (self, cx) {
display {
- if cx.config.is_verbose {
- return self.print_debug(cx);
+ if cx.tcx.sess.verbose() {
+ p!(write("{:?}", self));
+ return Ok(cx.printer);
}
match *self {
ty::TyVar(_) => p!(write("_")),
ty::FreshFloatTy(v) => p!(write("FreshFloatTy({})", v))
}
}
- debug {
- match *self {
- ty::TyVar(ref v) => p!(write("{:?}", v)),
- ty::IntVar(ref v) => p!(write("{:?}", v)),
- ty::FloatVar(ref v) => p!(write("{:?}", v)),
- ty::FreshTy(v) => p!(write("FreshTy({:?})", v)),
- ty::FreshIntTy(v) => p!(write("FreshIntTy({:?})", v)),
- ty::FreshFloatTy(v) => p!(write("FreshFloatTy({:?})", v))
- }
- }
}
}
-impl fmt::Debug for ty::IntVarValue {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- match *self {
- ty::IntType(ref v) => v.fmt(f),
- ty::UintType(ref v) => v.fmt(f),
- }
- }
-}
-
-impl fmt::Debug for ty::FloatVarValue {
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- self.0.fmt(f)
- }
-}
-
-// The generic impl doesn't work yet because projections are not
-// normalized under HRTB.
-/*impl<T> fmt::Display for ty::Binder<T>
- where T: fmt::Display + for<'a> ty::Lift<'a>,
- for<'a> <T as ty::Lift<'a>>::Lifted: fmt::Display + TypeFoldable<'a>
-{
- fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
- PrintCx::with_tls_tcx(|cx| cx.in_binder(cx.tcx.lift(self)
- .expect("could not lift for printing")))
- }
-}*/
-
-define_print_multi! {
- [
- ('tcx) ty::Binder<&'tcx ty::List<ty::ExistentialPredicate<'tcx>>>,
- ('tcx) ty::Binder<ty::TraitRef<'tcx>>,
- ('tcx) ty::Binder<ty::FnSig<'tcx>>,
- ('tcx) ty::Binder<ty::TraitPredicate<'tcx>>,
- ('tcx) ty::Binder<ty::SubtypePredicate<'tcx>>,
- ('tcx) ty::Binder<ty::ProjectionPredicate<'tcx>>,
- ('tcx) ty::Binder<ty::OutlivesPredicate<Ty<'tcx>, ty::Region<'tcx>>>,
- ('tcx) ty::Binder<ty::OutlivesPredicate<ty::Region<'tcx>, ty::Region<'tcx>>>
- ]
- (self, cx) {
- display {
- nest!(|cx| cx.in_binder(self))
- }
- }
+define_print! {
+ <T> ty::Binder<T>
}
define_print! {
- ('tcx) ty::TraitRef<'tcx>, (self, cx) {
+ ty::TraitRef<'tcx>, (self, cx) {
display {
- nest!(|cx| cx.print_def_path(
- self.def_id,
- Some(self.substs),
- Namespace::TypeNS,
- iter::empty(),
- ));
- }
- debug {
- nest!(|cx| cx.path_qualified(self.self_ty(), Some(*self), Namespace::TypeNS));
+ nest!(|cx| cx.print_def_path(self.def_id, Some(self.substs), iter::empty()));
}
}
}
define_print! {
- ('tcx) ty::Ty<'tcx>, (self, cx) {
- display {
- match self.sty {
- Bool => p!(write("bool")),
- Char => p!(write("char")),
- Int(t) => p!(write("{}", t.ty_to_string())),
- Uint(t) => p!(write("{}", t.ty_to_string())),
- Float(t) => p!(write("{}", t.ty_to_string())),
- RawPtr(ref tm) => {
- p!(write("*{} ", match tm.mutbl {
- hir::MutMutable => "mut",
- hir::MutImmutable => "const",
- }));
- p!(print(tm.ty))
- }
- Ref(r, ty, mutbl) => {
- p!(write("&"));
- if r.display_outputs_anything(&cx) {
- p!(print_display(r), write(" "));
- }
- p!(print(ty::TypeAndMut { ty, mutbl }))
- }
- Never => p!(write("!")),
- Tuple(ref tys) => {
- p!(write("("));
- let mut tys = tys.iter();
- if let Some(&ty) = tys.next() {
- p!(print(ty), write(","));
- if let Some(&ty) = tys.next() {
- p!(write(" "), print(ty));
- for &ty in tys {
- p!(write(", "), print(ty));
- }
- }
- }
- p!(write(")"))
- }
- FnDef(def_id, substs) => {
- let sig = cx.tcx.fn_sig(def_id).subst(cx.tcx, substs);
- p!(print(sig), write(" {{"));
- nest!(|cx| cx.print_def_path(
- def_id,
- Some(substs),
- Namespace::ValueNS,
- iter::empty(),
- ));
- p!(write("}}"))
- }
- FnPtr(ref bare_fn) => {
- p!(print(bare_fn))
- }
- Infer(infer_ty) => p!(write("{}", infer_ty)),
- Error => p!(write("[type error]")),
- Param(ref param_ty) => p!(write("{}", param_ty)),
- Bound(debruijn, bound_ty) => {
- match bound_ty.kind {
- ty::BoundTyKind::Anon => {
- if debruijn == ty::INNERMOST {
- p!(write("^{}", bound_ty.var.index()))
- } else {
- p!(write("^{}_{}", debruijn.index(), bound_ty.var.index()))
- }
- }
-
- ty::BoundTyKind::Param(p) => p!(write("{}", p)),
- }
- }
- Adt(def, substs) => {
- nest!(|cx| cx.print_def_path(
- def.did,
- Some(substs),
- Namespace::TypeNS,
- iter::empty(),
- ));
- }
- Dynamic(data, r) => {
- let print_r = r.display_outputs_anything(&cx);
- if print_r {
- p!(write("("));
- }
- p!(write("dyn "), print(data));
- if print_r {
- p!(write(" + "), print_display(r), write(")"));
- }
- }
- Foreign(def_id) => {
- nest!(|cx| cx.print_def_path(
- def_id,
- None,
- Namespace::TypeNS,
- iter::empty(),
- ));
- }
- Projection(ref data) => p!(print(data)),
- UnnormalizedProjection(ref data) => {
- p!(write("Unnormalized("), print(data), write(")"))
- }
- Placeholder(placeholder) => {
- p!(write("Placeholder({:?})", placeholder))
- }
- Opaque(def_id, substs) => {
- if cx.config.is_verbose {
- p!(write("Opaque({:?}, {:?})", def_id, substs));
- return Ok(cx.printer);
- }
-
- let def_key = cx.tcx.def_key(def_id);
- if let Some(name) = def_key.disambiguated_data.data.get_opt_name() {
- p!(write("{}", name));
- let mut substs = substs.iter();
- // FIXME(eddyb) print this with `print_def_path`.
- if let Some(first) = substs.next() {
- p!(write("::<"));
- p!(print_display(first));
- for subst in substs {
- p!(write(", "), print_display(subst));
- }
- p!(write(">"));
- }
- return Ok(cx.printer);
- }
- // Grab the "TraitA + TraitB" from `impl TraitA + TraitB`,
- // by looking up the projections associated with the def_id.
- let bounds = cx.tcx.predicates_of(def_id).instantiate(cx.tcx, substs);
-
- let mut first = true;
- let mut is_sized = false;
- p!(write("impl"));
- for predicate in bounds.predicates {
- if let Some(trait_ref) = predicate.to_opt_poly_trait_ref() {
- // Don't print +Sized, but rather +?Sized if absent.
- if Some(trait_ref.def_id()) == cx.tcx.lang_items().sized_trait() {
- is_sized = true;
- continue;
- }
-
- p!(
- write("{}", if first { " " } else { "+" }),
- print(trait_ref));
- first = false;
- }
- }
- if !is_sized {
- p!(write("{}?Sized", if first { " " } else { "+" }));
- } else if first {
- p!(write(" Sized"));
- }
- }
- Str => p!(write("str")),
- Generator(did, substs, movability) => {
- let upvar_tys = substs.upvar_tys(did, cx.tcx);
- let witness = substs.witness(did, cx.tcx);
- if movability == hir::GeneratorMovability::Movable {
- p!(write("[generator"));
- } else {
- p!(write("[static generator"));
- }
-
- // FIXME(eddyb) should use `def_span`.
- if let Some(hir_id) = cx.tcx.hir().as_local_hir_id(did) {
- p!(write("@{:?}", cx.tcx.hir().span_by_hir_id(hir_id)));
- let mut sep = " ";
- for (freevar, upvar_ty) in cx.tcx.freevars(did)
- .as_ref()
- .map_or(&[][..], |fv| &fv[..])
- .iter()
- .zip(upvar_tys)
- {
- p!(
- write("{}{}:",
- sep,
- cx.tcx.hir().name(freevar.var_id())),
- print(upvar_ty));
- sep = ", ";
- }
- } else {
- // cross-crate closure types should only be
- // visible in codegen bug reports, I imagine.
- p!(write("@{:?}", did));
- let mut sep = " ";
- for (index, upvar_ty) in upvar_tys.enumerate() {
- p!(
- write("{}{}:", sep, index),
- print(upvar_ty));
- sep = ", ";
- }
- }
-
- p!(write(" "), print(witness), write("]"))
- },
- GeneratorWitness(types) => {
- nest!(|cx| cx.in_binder(&types))
- }
- Closure(did, substs) => {
- let upvar_tys = substs.upvar_tys(did, cx.tcx);
- p!(write("[closure"));
-
- // FIXME(eddyb) should use `def_span`.
- if let Some(hir_id) = cx.tcx.hir().as_local_hir_id(did) {
- if cx.tcx.sess.opts.debugging_opts.span_free_formats {
- p!(write("@{:?}", hir_id));
- } else {
- p!(write("@{:?}", cx.tcx.hir().span_by_hir_id(hir_id)));
- }
- let mut sep = " ";
- for (freevar, upvar_ty) in cx.tcx.freevars(did)
- .as_ref()
- .map_or(&[][..], |fv| &fv[..])
- .iter()
- .zip(upvar_tys)
- {
- p!(
- write("{}{}:",
- sep,
- cx.tcx.hir().name(freevar.var_id())),
- print(upvar_ty));
- sep = ", ";
- }
- } else {
- // cross-crate closure types should only be
- // visible in codegen bug reports, I imagine.
- p!(write("@{:?}", did));
- let mut sep = " ";
- for (index, upvar_ty) in upvar_tys.enumerate() {
- p!(
- write("{}{}:", sep, index),
- print(upvar_ty));
- sep = ", ";
- }
- }
-
- if cx.config.is_verbose {
- p!(write(
- " closure_kind_ty={:?} closure_sig_ty={:?}",
- substs.closure_kind_ty(did, cx.tcx),
- substs.closure_sig_ty(did, cx.tcx)
- ));
- }
-
- p!(write("]"))
- },
- Array(ty, sz) => {
- p!(write("["), print(ty), write("; "));
- match sz {
- ty::LazyConst::Unevaluated(_def_id, _substs) => {
- p!(write("_"));
- }
- ty::LazyConst::Evaluated(c) => {
- match c.val {
- ConstValue::Infer(..) => p!(write("_")),
- ConstValue::Param(ParamConst { name, .. }) =>
- p!(write("{}", name)),
- _ => p!(write("{}", c.unwrap_usize(cx.tcx))),
- }
- }
- }
- p!(write("]"))
- }
- Slice(ty) => {
- p!(write("["), print(ty), write("]"))
- }
- }
- }
- debug {
- p!(print_display(self))
- }
- }
+ Ty<'tcx>
}
define_print! {
- ('tcx) ConstValue<'tcx>, (self, cx) {
+ ConstValue<'tcx>, (self, cx) {
display {
match self {
ConstValue::Infer(..) => p!(write("_")),
}
define_print! {
- ('tcx) ty::Const<'tcx>, (self, cx) {
+ ty::Const<'tcx>, (self, cx) {
display {
p!(write("{} : {}", self.val, self.ty))
}
}
define_print! {
- ('tcx) ty::LazyConst<'tcx>, (self, cx) {
+ ty::LazyConst<'tcx>, (self, cx) {
display {
match self {
// FIXME(const_generics) this should print at least the type.
}
define_print! {
- () ty::ParamTy, (self, cx) {
+ ty::ParamTy, (self, cx) {
display {
p!(write("{}", self.name))
}
- debug {
- p!(write("{}/#{}", self.name, self.idx))
- }
}
}
define_print! {
- () ty::ParamConst, (self, cx) {
+ ty::ParamConst, (self, cx) {
display {
p!(write("{}", self.name))
}
- debug {
- p!(write("{}/#{}", self.name, self.index))
- }
}
}
-// Similar problem to `Binder<T>`, can't define a generic impl.
-define_print_multi! {
- [
- ('tcx) ty::OutlivesPredicate<Ty<'tcx>, ty::Region<'tcx>>,
- ('tcx) ty::OutlivesPredicate<ty::Region<'tcx>, ty::Region<'tcx>>
- ]
- (self, cx) {
+define_print! {
+ <T, U> ty::OutlivesPredicate<T, U>, (self, cx) {
display {
p!(print(self.0), write(" : "), print(self.1))
}
}
define_print! {
- ('tcx) ty::SubtypePredicate<'tcx>, (self, cx) {
+ ty::SubtypePredicate<'tcx>, (self, cx) {
display {
p!(print(self.a), write(" <: "), print(self.b))
}
}
define_print! {
- ('tcx) ty::TraitPredicate<'tcx>, (self, cx) {
- debug {
- p!(write("TraitPredicate({:?})",
- self.trait_ref))
- }
+ ty::TraitPredicate<'tcx>, (self, cx) {
display {
p!(print(self.trait_ref.self_ty()), write(": "), print(self.trait_ref))
}
}
define_print! {
- ('tcx) ty::ProjectionPredicate<'tcx>, (self, cx) {
- debug {
- p!(
- write("ProjectionPredicate("),
- print(self.projection_ty),
- write(", "),
- print(self.ty),
- write(")"))
- }
+ ty::ProjectionPredicate<'tcx>, (self, cx) {
display {
p!(print(self.projection_ty), write(" == "), print(self.ty))
}
}
define_print! {
- ('tcx) ty::ProjectionTy<'tcx>, (self, cx) {
+ ty::ProjectionTy<'tcx>, (self, cx) {
display {
- nest!(|cx| cx.print_def_path(
- self.item_def_id,
- Some(self.substs),
- Namespace::TypeNS,
- iter::empty(),
- ));
+ nest!(|cx| cx.print_def_path(self.item_def_id, Some(self.substs), iter::empty()));
}
}
}
define_print! {
- () ty::ClosureKind, (self, cx) {
+ ty::ClosureKind, (self, cx) {
display {
match *self {
ty::ClosureKind::Fn => p!(write("Fn")),
}
define_print! {
- ('tcx) ty::Predicate<'tcx>, (self, cx) {
+ ty::Predicate<'tcx>, (self, cx) {
display {
match *self {
ty::Predicate::Trait(ref data) => p!(print(data)),
ty::Predicate::WellFormed(ty) => p!(print(ty), write(" well-formed")),
ty::Predicate::ObjectSafe(trait_def_id) => {
p!(write("the trait `"));
- nest!(|cx| cx.print_def_path(
- trait_def_id,
- None,
- Namespace::TypeNS,
- iter::empty(),
- ));
+ nest!(|cx| cx.print_def_path(trait_def_id, None, iter::empty()));
p!(write("` is object-safe"))
}
ty::Predicate::ClosureKind(closure_def_id, _closure_substs, kind) => {
p!(write("the closure `"));
- nest!(|cx| cx.print_def_path(
- closure_def_id,
- None,
- Namespace::ValueNS,
- iter::empty(),
- ));
+ nest!(|cx| cx.print_value_path(closure_def_id, None));
p!(write("` implements the trait `{}`", kind))
}
ty::Predicate::ConstEvaluatable(def_id, substs) => {
p!(write("the constant `"));
- nest!(|cx| cx.print_def_path(
- def_id,
- Some(substs),
- Namespace::ValueNS,
- iter::empty(),
- ));
+ nest!(|cx| cx.print_value_path(def_id, Some(substs)));
p!(write("` can be evaluated"))
}
}
}
- debug {
- match *self {
- ty::Predicate::Trait(ref a) => p!(print(a)),
- ty::Predicate::Subtype(ref pair) => p!(print(pair)),
- ty::Predicate::RegionOutlives(ref pair) => p!(print(pair)),
- ty::Predicate::TypeOutlives(ref pair) => p!(print(pair)),
- ty::Predicate::Projection(ref pair) => p!(print(pair)),
- ty::Predicate::WellFormed(ty) => p!(print(ty)),
- ty::Predicate::ObjectSafe(trait_def_id) => {
- p!(write("ObjectSafe({:?})", trait_def_id))
- }
- ty::Predicate::ClosureKind(closure_def_id, closure_substs, kind) => {
- p!(write("ClosureKind({:?}, {:?}, {:?})",
- closure_def_id, closure_substs, kind))
- }
- ty::Predicate::ConstEvaluatable(def_id, substs) => {
- p!(write("ConstEvaluatable({:?}, {:?})", def_id, substs))
- }
- }
- }
}
}
define_print! {
- ('tcx) Kind<'tcx>, (self, cx) {
+ Kind<'tcx>, (self, cx) {
display {
match self.unpack() {
UnpackedKind::Lifetime(lt) => p!(print(lt)),
UnpackedKind::Const(ct) => p!(print(ct)),
}
}
- debug {
- match self.unpack() {
- UnpackedKind::Lifetime(lt) => p!(print(lt)),
- UnpackedKind::Type(ty) => p!(print(ty)),
- UnpackedKind::Const(ct) => p!(print(ct)),
- }
- }
}
}