+ DataRace { op1, .. } =>
+ vec![
+ (Some(op1.span), format!("and (1) occurred earlier here")),
+ (None, format!("this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior")),
+ (None, format!("see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information")),
+ ],