Struct BasicBlockEnv 

pub struct BasicBlockEnv {
    data: Binder<BasicBlockEnvData>,
    scope: Scope,
}

Fields

data: Binder<BasicBlockEnvData>

scope: Scope

Implementations

impl BasicBlockEnv

pub(crate) fn enter<'a>( &self, infcx: &mut InferCtxt<'_, '_, '_>, local_decls: &'a LocalDecls, ) -> TypeEnv<'a>

pub(crate) fn scope(&self) -> &Scope

Trait Implementations

impl Debug for BasicBlockEnv

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Pretty for BasicBlockEnv

fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_, '_>