fn constraint_is_interesting(&self, constraint: OutlivesConstraint) -> bool {
        debug!(
            "constraint_is_interesting: locations={:?} constraint={:?}",
            constraint.locations, constraint
        );

        match constraint.locations {
            Locations::Interesting(_) | Locations::All => true,
            _ => false,
        }
    }
/// This function will return true if a constraint is interesting and false if a constraint
/// is not. It is useful in filtering constraint paths to only interesting points.
This function will return true if a constraint is interesting and false if a constraint
is not. It is useful in filtering constraint paths to only interesting points.
This function will return true if a constraint is interesting and false if a constraint is not . It is useful in filtering constraint paths to only interesting points .
fn constraint_is_interesting(&self, constraint: OutlivesConstraint) -> bool {
        debug!(
            "constraint_is_interesting: locations={:?} constraint={:?}",
            constraint.locations, constraint
        );
        match constraint.locations {
            Locations::Interesting(_) | Locations::All => true,
            _ => false,
        }
    }
fn constraint_is_interesting ( & self , constraint : OutlivesConstraint ) -> bool { debug ! ( " " constraint locations constraint ) ; match constraint . locations { Locations :: Interesting ( _ ) | Locations :: All => true , _ => false , } }
This function will return true if a constraint is interesting and false if a constraint
is not.
This function will return true if a constraint is interesting and false if a constraint is not .
&self
constraint
OutlivesConstraint
&self
constraint
OutlivesConstraint