Trait LocEnv

pub trait LocEnv {
    // Required methods
    fn ptr_to_ref(
        &mut self,
        infcx: &mut InferCtxtAt<'_, '_, '_, '_>,
        reason: ConstrReason,
        re: Region,
        path: &Path,
        bound: Ty,
    ) -> InferResult<Ty>;
    fn unfold_strg_ref(
        &mut self,
        infcx: &mut InferCtxt<'_, '_, '_>,
        path: &Path,
        ty: &Ty,
    ) -> InferResult<Loc>;
    fn get(&self, path: &Path) -> Ty;
}

Required Methods

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

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

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

Implementors

impl LocEnv for DummyEnv