Function chalk_solve::display::write_stub_items

source · 
pub fn write_stub_items<F, I, DB, P, T>(
    f: &mut F,
    ws: &WriterState<I, DB, P>,
    ids: T
) -> Result
where
    F: Write + ?Sized,
    I: Interner,
    DB: RustIrDatabase<I>,
    P: Borrow<DB>,
    T: IntoIterator<Item = RecordedItemId<I>>,
Expand description

Writes stubs for items which were referenced by name, but for which we didn’t directly access. For instance, traits mentioned in where bounds which are only usually checked during well-formedness, when we weren’t recording well-formedness.

The “stub” nature of this means it writes output with the right names and the right number of generics, but nothing else. Where clauses, bounds, and fields are skipped. Associated types are ???? skipped.

RecordedItemId::Impl is not supported.