Function mir_is_empty

fn mir_is_empty<'tcx>(tcx: TyCtxt<'tcx>, result: Const<'tcx>) -> Option<bool>