Trait rustc_mir_dataflow::framework::lattice::HasBottom
source · pub trait HasBottom {
fn bottom() -> Self;
}
Expand description
A set that has a “bottom” element, which is less than or equal to any other element.