# Trait rustc_mir_dataflow::lattice::HasBottom

source ·

    pub trait HasBottom {
        const BOTTOM: Self;

        // Required method
        fn is_bottom(&self) -> bool;
    }

Expand description

A set that has a “bottom” element, which is less than or equal to any other element.

## Required Associated Constants§

source

#### const BOTTOM: Self

## Required Methods§

source

#### fn is_bottom(&self) -> bool

## Object Safety§

This trait is not object safe.

## Implementations on Foreign Types§

source§

### impl HasBottom for bool

source§

#### const BOTTOM: Self = false

source§

#### fn is_bottom(&self) -> bool

## Implementors§

source§

### impl<T> HasBottom for FlatSet<T>

source§

#### const BOTTOM: Self = Self::Bottom

source§

### impl<T> HasBottom for MaybeReachable<T>

source§

#### const BOTTOM: Self = MaybeReachable::Unreachable