Trait rustc_mir_dataflow::framework::lattice::HasBottom

pub trait HasBottom {
    const BOTTOM: Self;
}

Expand description

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

Required Associated Constants§

const BOTTOM: Self

Implementations on Foreign Types§

impl HasBottom for bool

const BOTTOM: Self = false

Implementors§

impl<T> HasBottom for FlatSet<T>

const BOTTOM: Self = Self::Bottom

impl<T> HasBottom for MaybeReachable<T>

const BOTTOM: Self = MaybeReachable::Unreachable