rustc_middle::ty::print

Trait Print

Source
pub trait Print<'tcx, P> {
    // Required method
    fn print(&self, cx: &mut P) -> Result<(), PrintError>;
}

Required Methods§

Source

fn print(&self, cx: &mut P) -> Result<(), PrintError>

Implementors§

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for &'tcx List<Ty<'tcx>>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for GenericArg<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for Clause<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for Predicate<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for Term<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for ParamConst

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for ParamTy

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for PrintClosureAsImpl<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for TraitPredPrintModifiersAndPath<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for TraitPredPrintWithBoundConstness<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for TraitRefPrintOnlyTraitName<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for TraitRefPrintOnlyTraitPath<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for TraitRefPrintSugared<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for AliasTerm<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for ClauseKind<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for CoercePredicate<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for ExistentialPredicate<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for ExistentialProjection<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for ExistentialTraitRef<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for HostEffectPredicate<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for NormalizesTo<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for PredicateKind<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for ProjectionPredicate<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for SubtypePredicate<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for TraitPredicate<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for TraitRef<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for AliasTy<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for FnSig<'tcx>

Source§

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for TypeAndMut<'tcx>

Source§

impl<'tcx, P: Printer<'tcx>> Print<'tcx, P> for &'tcx List<PolyExistentialPredicate<'tcx>>

Source§

impl<'tcx, P: Printer<'tcx>> Print<'tcx, P> for Const<'tcx>

Source§

impl<'tcx, P: Printer<'tcx>> Print<'tcx, P> for Region<'tcx>

Source§

impl<'tcx, P: Printer<'tcx>> Print<'tcx, P> for Ty<'tcx>

Source§

impl<'tcx, T, P: PrettyPrinter<'tcx>> Print<'tcx, P> for OutlivesPredicate<'tcx, T>
where T: Print<'tcx, P>,

Source§

impl<'tcx, T, P: PrettyPrinter<'tcx>> Print<'tcx, P> for Binder<'tcx, T>
where T: Print<'tcx, P> + TypeFoldable<TyCtxt<'tcx>>,