TypeInfo in struct ABI

[Basile B.]

On Monday, 17 January 2022 at 18:29:51 UTC, Basile B. wrote:
> For structs it's clear that the static type is *always* used 
> and not that trailing stuff that's written passed the actual 
> struct instance space. For structs that uses the code generated 
> in the `if (Type t = isType(e.obj))` branch.

I tend to doubt, so this clears the [trailing 
stuff](https://run.dlang.io/is/xXMJHh) and that does not prevent 
to retrieve the TypeInfo.