Trait rustc_mir_dataflow::lattice::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§
Object Safety§
This trait is not object safe.