pub fn get_span_and_frames<'tcx, 'mir>(
    tcx: TyCtxtAt<'tcx>,
    stack: &[Frame<'mir, 'tcx, impl Provenance, impl Sized>]
) -> (Span, Vec<FrameNote>)
where 'tcx: 'mir,