Trait rustc_middle::ty::print::Print[][src]

pub trait Print<'tcx, P> {
    type Output;
    type Error;
    fn print(&self, cx: P) -> Result<Self::Output, Self::Error>;
}

Associated Types

type Output[src]

type Error[src]

Loading content...

Required methods

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

Loading content...

Implementors

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for ProjectionTy<'tcx>[src]

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

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

type Output = P

type Error = Error

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

impl<'tcx, P: Printer<'tcx>> Print<'tcx, P> for &'tcx Const<'tcx>[src]

type Output = P::Const

type Error = P::Error

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

impl<'tcx, P: Printer<'tcx>> Print<'tcx, P> for &'tcx List<Binder<'tcx, ExistentialPredicate<'tcx>>>[src]

type Output = P::DynExistential

type Error = P::Error

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

impl<'tcx, P: Printer<'tcx>> Print<'tcx, P> for RegionKind[src]

type Output = P::Region

type Error = P::Error

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

impl<'tcx, P: Printer<'tcx>> Print<'tcx, P> for Region<'_>[src]

type Output = P::Region

type Error = P::Error

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

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

type Output = P::Type

type Error = P::Error

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

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>, 
[src]

type Output = P

type Error = P::Error

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

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>, 
[src]

type Output = P

type Error = P::Error

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

Loading content...