Trait TypeInformationCtxt 

pub trait TypeInformationCtxt<'tcx> {
    type TypeckResults<'a>: Deref<Target = TypeckResults<'tcx>>
       where Self: 'a;
    type Error;

    // Required methods
    fn typeck_results(&self) -> Self::TypeckResults<'_>;
    fn resolve_vars_if_possible<T: TypeFoldable<TyCtxt<'tcx>>>(&self, t: T) -> T;
    fn structurally_resolve_type(&self, span: Span, ty: Ty<'tcx>) -> Ty<'tcx>;
    fn report_bug(&self, span: Span, msg: impl ToString) -> Self::Error;
    fn error_reported_in_ty(&self, ty: Ty<'tcx>) -> Result<(), Self::Error>;
    fn tainted_by_errors(&self) -> Result<(), Self::Error>;
    fn type_is_copy_modulo_regions(&self, ty: Ty<'tcx>) -> bool;
    fn type_is_use_cloned_modulo_regions(&self, ty: Ty<'tcx>) -> bool;
    fn body_owner_def_id(&self) -> LocalDefId;
    fn tcx(&self) -> TyCtxt<'tcx>;
}

This trait makes ExprUseVisitor usable with both FnCtxt and [LateContext], depending on where in the compiler it is used.

Required Associated Types

type TypeckResults<'a>: Deref<Target = TypeckResults<'tcx>> where Self: 'a

type Error

Required Methods

fn typeck_results(&self) -> Self::TypeckResults<'_>

fn resolve_vars_if_possible<T: TypeFoldable<TyCtxt<'tcx>>>(&self, t: T) -> T

fn structurally_resolve_type(&self, span: Span, ty: Ty<'tcx>) -> Ty<'tcx>

fn report_bug(&self, span: Span, msg: impl ToString) -> Self::Error

fn error_reported_in_ty(&self, ty: Ty<'tcx>) -> Result<(), Self::Error>

fn tainted_by_errors(&self) -> Result<(), Self::Error>

fn type_is_copy_modulo_regions(&self, ty: Ty<'tcx>) -> bool

fn type_is_use_cloned_modulo_regions(&self, ty: Ty<'tcx>) -> bool

fn body_owner_def_id(&self) -> LocalDefId

fn tcx(&self) -> TyCtxt<'tcx>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'tcx> TypeInformationCtxt<'tcx> for (&LateContext<'tcx>, LocalDefId)

type TypeckResults<'a> = &'tcx TypeckResults<'tcx> where Self: 'a

type Error = !

fn typeck_results(&self) -> Self::TypeckResults<'_>

fn structurally_resolve_type(&self, _span: Span, ty: Ty<'tcx>) -> Ty<'tcx>

fn resolve_vars_if_possible<T: TypeFoldable<TyCtxt<'tcx>>>(&self, t: T) -> T

fn report_bug(&self, span: Span, msg: impl ToString) -> !

fn error_reported_in_ty(&self, _ty: Ty<'tcx>) -> Result<(), !>

fn tainted_by_errors(&self) -> Result<(), !>

fn type_is_copy_modulo_regions(&self, ty: Ty<'tcx>) -> bool

fn type_is_use_cloned_modulo_regions(&self, ty: Ty<'tcx>) -> bool

fn body_owner_def_id(&self) -> LocalDefId

fn tcx(&self) -> TyCtxt<'tcx>

Implementors

impl<'tcx> TypeInformationCtxt<'tcx> for &FnCtxt<'_, 'tcx>

type TypeckResults<'a> = Ref<'a, TypeckResults<'tcx>> where Self: 'a

type Error = ErrorGuaranteed