Struct rustc_driver::pretty::TypedAnnotation

pub(in pretty) struct TypedAnnotation<'tcx> {
    tcx: TyCtxt<'tcx>,
    maybe_typeck_results: Cell<Option<&'tcx TypeckResults<'tcx>>>,
}

Fields

tcx: TyCtxt<'tcx>

maybe_typeck_results: Cell<Option<&'tcx TypeckResults<'tcx>>>

Implementations

impl<'tcx> TypedAnnotation<'tcx>

pub(in pretty) fn typeck_results(
    &self
) -> &'tcx TypeckResults<'tcx>

Gets the type-checking results for the current body. As this will ICE if called outside bodies, only call when working with Expr or Pat nodes (they are guaranteed to be found only in bodies).

Trait Implementations

impl<'tcx> HirPrinterSupport<'tcx> for TypedAnnotation<'tcx>

pub(in pretty) fn sess(
    &self
) -> &Session

Provides a uniform interface for re-extracting a reference to a Session from a value that now owns it.

pub(in pretty) fn hir_map(
    &self
) -> Option<Map<'tcx>>

Provides a uniform interface for re-extracting a reference to an hir_map::Map from a value that now owns it.

pub(in pretty) fn pp_ann(
    &self
) -> &dyn PpAnn

Produces the pretty-print annotation object.

pub(in pretty) fn node_path(
    &self,
    id: HirId
) -> Option<String>

Computes an user-readable representation of a path, if possible.

impl<'tcx> PpAnn for TypedAnnotation<'tcx>

pub fn nested(&self, state: &mut State<'_>, nested: Nested)

pub fn pre(&self, s: &mut State<'_>, node: AnnNode<'_>)

pub fn post(&self, s: &mut State<'_>, node: AnnNode<'_>)