231         for constraint in constraints {  in inherit()
232             lint_constraint(scope, parent, constraint, result);  in inherit()
233             let id = constraint.id.clone();  in inherit()
234             if let Some(prev) = self.all_constraints.insert(id, constraint) {  in inherit()
237                         .with_message(format!("duplicate constraint on field `{}`", constraint.id))  in inherit()
239                             constraint.loc.primary(),  in inherit()
249         for (id, constraint) in self.constraints.iter() {  in inherit()
250             self.all_constraints.insert(id.clone(), constraint);  in inherit()
329         for (id, constraint) in packet_scope.constraints.iter() {  in inline()
330             self.constraints.insert(id.clone(), constraint);  in inline()
334         for constraint in constraints {  in inline()
335             lint_constraint(scope, packet_scope, constraint, result);  in inline()
336             let id = constraint.id.clone();  in inline()
337             if let Some(prev) = self.constraints.insert(id, constraint) {  in inline()
340                         .with_message(format!("duplicate constraint on field `{}`", constraint.id))  in inline()
342                             constraint.loc.primary(),  in inline()
376     constraint: &Constraint,  in lint_constraint()
380     match (packet_scope.all_fields.get(&constraint.id), &constraint.value) {  in lint_constraint()
399             match (scope.typedef.get(type_id), &constraint.value) {  in lint_constraint()
414                         constraint  in lint_constraint()
423                         constraint.loc.primary(),  in lint_constraint()
426                             constraint.id,  in lint_constraint()
438                 constraint.loc.primary().with_message("expected integer literal"),  in lint_constraint()
445                 .with_message(format!("undeclared identifier `{}`", constraint.id))  in lint_constraint()
446                 .with_labels(vec![constraint.loc.primary()]),  in lint_constraint()