Struct WriteBackCtxt 

pub(crate) struct WriteBackCtxt<'db> {
    table: InferenceTable<'db>,
    diagnostics: ThinVec<InferenceDiagnostic>,
    has_errors: bool,
    spans_emitted_type_must_be_known_for: FxHashSet<Span>,
    types: &'db DefaultAny<'db>,
}

Fields

table: InferenceTable<'db>

diagnostics: ThinVec<InferenceDiagnostic>

has_errors: bool

spans_emitted_type_must_be_known_for: FxHashSet<Span>

types: &'db DefaultAny<'db>

Implementations

impl<'db> WriteBackCtxt<'db>

pub(crate) fn new( table: InferenceTable<'db>, diagnostics: ThinVec<InferenceDiagnostic>, vars_emitted_type_must_be_known_for: FxHashSet<Term<'db>>, ) -> Self

pub(crate) fn resolve_completely<T>(&mut self, value_ref: &mut T)

where T: TypeFoldable<DbInterner<'db>>,

pub(crate) fn resolve_completely_with_default<T>( &mut self, value_ref: &mut T, default: T, )

where T: TypeFoldable<DbInterner<'db>>,

pub(crate) fn resolve_diagnostics(self) -> (ThinVec<InferenceDiagnostic>, bool)