TypeInfo in struct ABI

[rikki cattermole]

On 18/01/2022 6:15 AM, Teodor Dutu wrote:
> Therefore, the essence of my question is: Can we do `_d_newitemU` 
> without `TypeInfo`, without negatively impacting the GC?

The need of TypeInfo is an implementation detail of the GC interface.

Because you have the actual type, you can use typeid expression to get 
the TypeInfo class instance as you need it; this will be easy to swap 
out at a later point.

What we need is for it to be removed from the logic of these hooks as 
well as their function arguments.