Trait rustc_mir_dataflow::framework::lattice::HasTop

pub trait HasTop {
    const TOP: Self;
}

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

Required Associated Constants

const TOP: Self

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl HasTop for bool

const TOP: Self = true

Implementors

impl<T> HasTop for FlatSet<T>

const TOP: Self = Self::Top

impl<T: HasTop> HasTop for MaybeReachable<T>

const TOP: Self = _