rustc_mir_dataflow::framework::lattice

Trait HasTop

source
pub trait HasTop {
    const TOP: Self;
}
Expand description

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

Required Associated Constants§

source

const TOP: Self

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl HasTop for bool

source§

const TOP: Self = true

Implementors§

source§

impl<T> HasTop for FlatSet<T>

source§

const TOP: Self = Self::Top

source§

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

source§

const TOP: Self = _