Rationale (February, 2021):

The resolution of issue 2300 makes clear that this example is an ODR violation.