rustc_borrowck::type_check

Function mirbug

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