Module rustc_middle::ty::print::pretty

Macros

• define_helper 🔒
• define_print_and_forward_display 🔒
• define_scoped_cx 🔒
• forward_display_to_print 🔒
• p 🔒
• with_crate_prefix
  Adds the crate:: prefix to paths where appropriate.
• with_forced_impl_filename_line
  Force us to name impls with just the filename/line number. We normally try to use types. But at some points, notably while printing cycle errors, this can result in extra or suboptimal error output, so this variable disables that check.
• with_forced_trimmed_paths
• with_no_queries
  Avoids running any queries during any prints that occur during the closure. This may alter the appearance of some types (e.g. forcing verbose printing for opaque types). This method is used during some queries (e.g. explicit_item_bounds for opaque types), to ensure that any debug printing that occurs during the query computation does not end up recursively calling the same query.
• with_no_trimmed_paths
  Prevent path trimming if it is turned on. Path trimming affects Display impl of various rustc types, for example std::vec::Vec would be trimmed to Vec, if no other Vec is found.
• with_no_visible_paths
  Prevent selection of visible paths. Display impl of DefId will prefer visible (public) reexports of types as paths.

Structs

• CratePrefixGuard
• FmtPrinter
• FmtPrinterData
• ForceTrimmedGuard
• ForcedImplGuard
• NoQueriesGuard
• NoTrimmedGuard
• NoVisibleGuard
• OpaqueFnEntry
• PrintClosureAsImpl
• RegionFolder 🔒
  Folds through bound vars and placeholders, naming them
• RegionHighlightMode
  The “region highlights” are used to control region printing during specific error messages. When a “region highlight” is enabled, it gives an alternate way to print specific regions. For now, we always print those regions using a number, so something like “'0”.
• TraitPredPrintModifiersAndPath
• TraitRefPrintOnlyTraitName
  Wrapper type for ty::TraitRef which opts-in to pretty printing only the trait name. That is, it will print Trait instead of <T as Trait<U>>.
• TraitRefPrintOnlyTraitPath
  Wrapper type for ty::TraitRef which opts-in to pretty printing only the trait path. That is, it will print Trait<U> instead of <T as Trait<U>>.

Constants

• FORCE_IMPL_FILENAME_LINE 🔒
• FORCE_TRIMMED_PATH 🔒
• NO_QUERIES 🔒
• NO_TRIMMED_PATH 🔒
• NO_VISIBLE_PATH 🔒
• SHOULD_PREFIX_WITH_CRATE 🔒

Traits

• PrettyPrinter
  Trait for printers that pretty-print using fmt::Write to the printer.

Functions

• for_each_def 🔒
• guess_def_namespace 🔒
• pretty_print_const 🔒
• provide
• trimmed_def_paths 🔒
  The purpose of this function is to collect public symbols names that are unique across all crates in the build. Later, when printing about types we can use those names instead of the full exported path to them.
• with_crate_prefix
• with_forced_impl_filename_line
• with_forced_trimmed_paths
• with_no_queries
• with_no_trimmed_paths
• with_no_visible_paths