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,
) -> Resultwhere
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.