pub static RANGE: TypeDescriptorExpand description
Descriptor for Range (§4.11). Equatable and hashable over its two bounds,
and orderable over them too — a Range can be a Map key (its bounds
cannot change after it is stored), so a container has to be able to put one
in a deterministic sequence (ADR-138). a..b < c..d in source is still
Y006; that is capability::supports_ord’s question.