Struct InferenceTyLoweringVarsCtx 

pub(super) struct InferenceTyLoweringVarsCtx<'a, 'db> {
    pub(super) table: &'a mut InferenceTable<'db>,
    pub(super) type_of_type_placeholder: &'a mut FxHashMap<TypeRefId, StoredTy>,
}

Fields

table: &'a mut InferenceTable<'db>

type_of_type_placeholder: &'a mut FxHashMap<TypeRefId, StoredTy>

Trait Implementations

impl<'db> TyLoweringInferVarsCtx<'db> for InferenceTyLoweringVarsCtx<'_, 'db>

fn next_ty_var(&mut self, span: Span) -> Ty<'db>

fn next_const_var(&mut self, span: Span) -> Const<'db>

fn next_region_var(&mut self, span: Span) -> Region<'db>

fn as_table(&mut self) -> Option<&mut InferenceTable<'db>>