Trait rustc_mir_dataflow::lattice::HasTop

source · 
pub trait HasTop {
    // Required method
    fn top() -> Self;
}
Expand description

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

Required Methods§

source

fn top() -> Self

Implementations on Foreign Types§

source§

impl HasTop for bool

source§

fn top() -> Self

Implementors§

source§

impl<T> HasTop for FlatSet<T>