Trait rustc_middle::ty::print::Print

source ·
pub trait Print<'tcx, P> {
    type Output;
    type Error;

    // Required method
    fn print(&self, cx: P) -> Result<Self::Output, Self::Error>;
}

Required Associated Types§

Required Methods§

source

fn print(&self, cx: P) -> Result<Self::Output, Self::Error>

Implementors§

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = P

§

type Error = Error

source§

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

§

type Output = <P as Printer<'tcx>>::DynExistential

§

type Error = <P as Printer<'tcx>>::Error

source§

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

§

type Output = <P as Printer<'tcx>>::Const

§

type Error = <P as Printer<'tcx>>::Error

source§

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

§

type Output = <P as Printer<'tcx>>::Type

§

type Error = <P as Printer<'tcx>>::Error

source§

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

§

type Output = <P as Printer<'tcx>>::Region

§

type Error = <P as Printer<'tcx>>::Error

source§

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

§

type Output = P

§

type Error = Error

source§

impl<'tcx, T, U, P: PrettyPrinter<'tcx>> Print<'tcx, P> for OutlivesPredicate<T, U>where
T: Print<'tcx, P, Output = P, Error = P::Error>,
U: Print<'tcx, P, Output = P, Error = P::Error>,

§

type Output = P

§

type Error = Error