Este es un seguimiento deesta pregunt.
Como se menciona en los comentarios a la respuesta:

Una variable en línea tiene la propiedad que - Tiene la misma dirección en cada unidad de traducción. [...] Usualmente lo lograste definiendo la variable en un archivo cpp, pero con el especificador en línea puedes declarar / definir tus variables en un archivo de encabezado y cada unidad de traducción que usa esta variable en línea usa exactamente el mismo objeto.

Además, de la propia respuesta:

Aunque el lenguaje no garantiza (ni siquiera menciona) lo que sucede cuando usa esta nueva función a través de los límites de las bibliotecas compartidas, funciona en mi máquina.

En otros términos, no está claro si se garantiza que una variable en línea sea única a través de los límites cuando las bibliotecas compartidas están involucradas. Alguien demostró empíricamente quefuncion en algunas plataformas, pero no es una respuesta adecuada y podría romper todo en otras plataformas.

Existe alguna garantía con respecto a la unicidad de una variable en línea cuando se usa más allá de los límites o es simplemente un detalle de implementación en el que no debo confiar?