fn mir_is_empty<'tcx>(
    lcx: &LateContext<'tcx>,
    result: Const<'tcx>
) -> Option<bool>