>>896
↓このあたり。
17.6.3.5 [allocator.requirements] Table 28
> a.construct(c, args) Effect: Constructs an object of type C at c