Method note_use_stack

src/diagnostic/use_stack.rs:89–138

(
        &self,
        diag: &mut Diag<'tcx, G>,
        use_stack: &[UseSite<'tcx>],
    )

    }

    pub fn note_use_stack<G: EmissionGuarantee>(
        &self,
        diag: &mut Diag<'tcx, G>,
        use_stack: &[UseSite<'tcx>],
    ) {
        for site in use_stack.iter().rev() {
            let def_id = site.instance.value.def_id();
            if self.is_lang_item(def_id, LangItem::DropInPlace) {
                let ty = site.instance.value.args[0];
                diag.note(format!("which is called from drop glue of `{ty}`"));
                continue;
            }

            // Hide `drop()` call from stack as it's mostly noise.
            if self.is_diagnostic_item(sym::mem_drop, def_id) {
                continue;
            }

            if diag.span.is_dummy() {
                diag.span = site.kind.multispan();
            } else {
                match &site.kind {
                    UseSiteKind::Call(span) => {
                        diag.span_note(*span, "which is called from here");
                    }
                    UseSiteKind::Drop {
                        drop_span,
                        place_span,
                    } => {
                        let mut multispan = MultiSpan::from_span(*drop_span);
                        multispan.push_span_label(*place_span, "value being dropped is here");
                        diag.span_note(multispan, "which is dropped here");
                    }
                    UseSiteKind::PointerCoercion(span) => {
                        diag.span_note(*span, "which is used as a pointer here");
                    }
                    UseSiteKind::Vtable(span) => {
                        diag.span_note(*span, "which is used as a vtable here");
                    }
                    UseSiteKind::Other(span, other) => {
                        diag.span_note(*span, other.clone());
                    }
                }
            }

            if !self.is_fully_polymorphic(site.instance) {
                diag.note(format!("inside instance `{}`", PolyDisplay(&site.instance)));
            }
        }
    }
}