Struct Resolver 

pub struct Resolver<'env, 'db> {
    db: &'db dyn Db,
    env: &'env mut Env<'db>,
    memoized_ty: Map<InferVarIndex, Result<SymTy<'db>, ResolverCycle>>,
    memoized_perm: Map<InferVarIndex, SymPerm<'db>>,
}

Fields

db: &'db dyn Db

env: &'env mut Env<'db>

memoized_ty: Map<InferVarIndex, Result<SymTy<'db>, ResolverCycle>>

memoized_perm: Map<InferVarIndex, SymPerm<'db>>

Implementations

impl<'env, 'db> Resolver<'env, 'db>

pub fn new(env: &'env mut Env<'db>) -> Self

pub fn resolve<T>(&mut self, term: T) -> T::Output

where T: Subst<'db, GenericTerm = SymGenericTerm<'db>>,

Return a version of term in which all inference variables are (deeply) removed.

fn resolve_infer_var( &mut self, infer: InferVarIndex, ) -> Result<SymGenericTerm<'db>, ResolverCycle>

Resolve an inference variable to a generic term, given the variance of the location in which it appears

fn resolve_ty_var( &mut self, infer: InferVarIndex, ) -> Result<SymTy<'db>, ResolverCycle>

fn bounding_ty( &mut self, infer: InferVarIndex, direction: Direction, ) -> Result<Option<SymTy<'db>>, ResolverCycle>

Return the bounding type on the type inference variable v from the given direction.

fn resolve_perm_var(&mut self, infer: InferVarIndex) -> SymPerm<'db>

fn bounding_perm( &self, infer: InferVarIndex, direction: Direction, ) -> Option<SymPerm<'db>>

Return the bounding perm on the permission inference variable v from the given direction.

fn report(&self, infer: InferVarIndex, _err: ResolverCycle) -> Reported