fn tooltip<'tcx>( tcx: TyCtxt<'tcx>, spanview_id: &str, span: Span, statements: Vec<Statement<'tcx>>, terminator: &Option<Terminator<'tcx>>) -> String