Function mir_is_empty 

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