`Copy` type field access is blocked

[RaitoBezarius]

FieldOwned<T>::operator T() is defined on the primary template but per-type explicit specializations drop it. Types that have a specialization lose the conversion operator.

Built-in primitives like int32_t work because they have no specialization. Bool doesn't work.

My (naive?) proposal would be a CRTP mixin that provides operator T() for all field kinds and primary templates / specializations should inherit from it. If you are OK with this, I can contribute it.

[hkalbasi]

Thanks for the issue(s)! I agree with Copy types having T operator, but I'm not sure about the impl. Isn't it possible to directly provide operator T in the specialization?

[RaitoBezarius]

It's possible, but why duplicate the work instead of having a nice mixin that will make it happen all the time?

[hkalbasi]

Maybe we do not need specialization at all. We can probably do *Ref<T>(this) or something like that.

[RaitoBezarius]

Either way, I take that you are aligned with the overall problem statement and I should propose one or two way forwards and we can debate them in code review, I guess?