fn bad_placeholder<'tcx>(
    tcx: TyCtxt<'tcx>,
    spans: Vec<Span>,
    kind: &'static str
) -> Diag<'tcx>