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