Seems without the refinement we get runtime cast exceptions; the compiler seems to be trying to cast to the Tag trait instead of allowing it to be Object -
java.lang.ClassCastException: java.lang.String cannot be cast to io.estatico.newtype.macros.NewTypeMacrosTest$X0$Types$1$Tag
Seems without the refinement we get runtime cast exceptions; the compiler seems to be trying to cast to the
Tagtrait instead of allowing it to beObject-