Struct rustc_driver::pretty::TypedAnnotation

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>

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>

fn sess(&self) -> &Session

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

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.

fn pp_ann(&self) -> &dyn PpAnn

Produces the pretty-print annotation object.

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

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

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

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