Struct TypeEnv 

pub struct TypeEnv<'a>(/* private fields */);

Implementations

impl<'a> TypeEnv<'a>

pub unsafe fn new() -> Self

Create a new type environment.

Safety

The instance returned from this method is only valid until the next call to to TranslateArgs::translate or TranslateArgs::front_end.

pub fn new_tmp(&self, ty: Type) -> Temp

pub fn type_of_tmp(&self, tmp: Temp) -> IRType

pub fn type_of_expr(&self, expr: Expr<'_>) -> IRType

Trait Implementations

impl<'a> Clone for TypeEnv<'a>

fn clone(&self) -> TypeEnv<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Display for TypeEnv<'_>

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

Formats the value using the given formatter.

impl From<&mut IRTypeEnv> for TypeEnv<'_>

fn from(ptr: &mut IRTypeEnv) -> Self

Converts to this type from the input type.

impl From<*mut IRTypeEnv> for TypeEnv<'_>

fn from(ptr: *mut IRTypeEnv) -> Self

Converts to this type from the input type.

impl<'a> Copy for TypeEnv<'a>