Trait rustc_mir_dataflow::framework::lattice::HasBottom

pub trait HasBottom {
    const BOTTOM: Self;
}

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

Required Associated Constants

const BOTTOM: Self

Object Safety

This trait is not object safe.

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