Trait rustc_mir_dataflow::framework::lattice::HasBottom

pub trait HasBottom {
    const BOTTOM: Self;

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

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

Required Associated Constants

const BOTTOM: Self

Required Methods

fn is_bottom(&self) -> bool

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl HasBottom for bool

const BOTTOM: Self = false

fn is_bottom(&self) -> bool

Implementors

impl<T> HasBottom for FlatSet<T>

const BOTTOM: Self = Self::Bottom

impl<T> HasBottom for MaybeReachable<T>

const BOTTOM: Self = MaybeReachable::Unreachable