Struct DummyEnv 

pub(crate) struct DummyEnv;

An environment without locations. Used when relating types that cannot mention locations, e.g., the signatures of fn pointers (which cannot have strong references).

Trait Implementations

impl LocEnv for DummyEnv

fn ptr_to_ref( &mut self, _: &mut InferCtxtAt<'_, '_, '_, '_>, _: ConstrReason, _: Region, _: &Path, _: Ty, ) -> InferResult<Ty>

fn unfold_strg_ref( &mut self, _: &mut InferCtxt<'_, '_, '_>, _: &Path, _: &Ty, ) -> InferResult<Loc>

fn unfold_local_ptr( &mut self, _: &mut InferCtxt<'_, '_, '_>, _: &Ty, ) -> InferResult<Loc>

Temporarily unfolds a &mut into a local pointer, see crate::fn_subtyping::unfold_local_ptrs

fn fold_local_ptrs( &mut self, _: &mut InferCtxtAt<'_, '_, '_, '_>, ) -> InferResult

Folds all the local pointers created with LocEnv::unfold_local_ptr back into &mut

fn get(&self, _: &Path) -> Ty

fn update_path(&mut self, _: &Path, _: Ty, _: Span)

fn assume_ensures( &mut self, infcx: &mut InferCtxt<'_, '_, '_>, ensures: &[Ensures], span: Span, )

fn check_ensures( &mut self, at: &mut InferCtxtAt<'_, '_, '_, '_>, ensures: &[Ensures], reason: ConstrReason, ) -> InferResult