Struct BasicBlockEnvShape

pub struct BasicBlockEnvShape {
    scope: Scope,
    bindings: PlacesTree,
}

Fields

scope: Scope

bindings: PlacesTree

Implementations

impl BasicBlockEnvShape

pub fn enter<'a>(&self, local_decls: &'a LocalDecls) -> TypeEnv<'a>

fn new( scope: Scope, env: TypeEnv<'_>, ) -> Result<BasicBlockEnvShape, CheckerErrKind>

fn pack_ty(scope: &Scope, ty: &Ty) -> Ty

fn pack_bty(scope: &Scope, bty: &BaseTy) -> BaseTy

fn pack_generic_arg(scope: &Scope, arg: &GenericArg) -> GenericArg

fn update(&mut self, path: &Path, ty: Ty)

pub(crate) fn join( &mut self, other: TypeEnv<'_>, ) -> Result<bool, CheckerErrKind>

join(self, genv, other) consumes the bindings in other, to “update” self in place, and returns true if there was an actual change or false indicating no change (i.e., a fixpoint was reached).

fn join_ty(&self, ty1: &Ty, ty2: &Ty) -> Ty

fn join_idx( &self, e1: &Expr, e2: &Expr, sort: &Sort, bound_sorts: &mut Vec<Sort>, ) -> Expr

fn join_bty(&self, bty1: &BaseTy, bty2: &BaseTy) -> BaseTy

fn join_generic_arg(&self, arg1: &GenericArg, arg2: &GenericArg) -> GenericArg

pub fn into_bb_env(self, kvar_gen: &mut KVarGen) -> BasicBlockEnv

Trait Implementations

impl Debug for BasicBlockEnvShape

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

Formats the value using the given formatter.

impl Pretty for BasicBlockEnvShape

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

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