rustc_mir_dataflow::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

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 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 = _