Well, you know the type, because make returned it no? The contract is, you call obj = make!X(args), then you have to call dispose(obj), where obj is of the type X. That's how it knows.If you are thinking you want to destroy the whole block at once (typed as void[]), that's not how it works.stdx.allocator is not going to help you with GC collection, it's not geared towards that purpose.
Ok, thanks!