pub fn taint_with<'a, F>(
pool: &mut StreamPool<F>,
failure: FailureId,
written: impl Iterator<Item = &'a BufferBinding>,
graph: &mut ErrorGraph,
)where
F: StreamFactory<Stream: StreamMemory>,Expand description
Point the bytes every binding in written names at failure.
Each binding is resolved to the stream that allocated it, which may not be the stream that failed — that is the point: the fact lands on the memory, wherever it lives. A binding whose slot no stream ever initialized is skipped; it is not this pool’s to answer for.
Free rather than a method because the pool and the graph are held apart by every caller: a driver owns both, a resolved borrow holds both mutably.