@fancy-queen-20734 : but my last "EDIT" on my comment there indicates that i think "synthetic"/non-instantiable unions are likely still implemented as concrete unions by the compiler