pub fn is_empty(&self) -> bool {
        let RegionConstraintData {
            constraints,
            verifys,
            givens,
        } = self;
        constraints.is_empty() && verifys.is_empty() && givens.is_empty()
    }
/// True if this region constraint data contains no constraints.
True if this region constraint data contains no constraints.
True if this region constraint data contains no constraints .
pub fn is_empty(&self) -> bool {
        let RegionConstraintData {
            constraints,
            verifys,
            givens,
        } = self;
        constraints.is_empty() && verifys.is_empty() && givens.is_empty()
    }
pub fn is_empty ( & self ) -> bool { let RegionConstraintData { constraints , verifys , givens , } = self ; constraints . is_empty ( ) && verifys . is_empty ( ) && givens . is_empty ( ) }
True if this region constraint data contains no constraints.
True if this region constraint data contains no constraints .
&self
&self