fn mirbug(tcx: TyCtxt<'_>, span: Span, msg: String)