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.

Implementors§

Source§

impl<T> HasTop for FlatSet<T>

Source§

const TOP: Self = Self::Top