Additional notes (November, 2023):
An odr-use is a property of the program, not an evaluation that participates in the "happens before" relation.