[Issue 21277] TypeInfo.initializer() is the wrong abstraction, should be TypeInfo.initialize(void*)

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=21277

--- Comment #5 from kinke <ki...@gmx.net> ---
(In reply to Andrei Alexandrescu from comment #4)
> This is a low-level primitive not to be used naively, and
> emplace would use it. User-level code would use emplace.

In order to use emplace(), the user needs the type (not its TypeInfo). If all
user code knew it, we wouldn't need this thing in TypeInfo at all, and could
move all related logic to emplace().

--