rustc_mir_dataflow::framework::lattice

Trait 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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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