On Fri, 21 Jun 2019 at 00:41, Matthew Woehlke via Std-Proposals
<std-proposals_at_[hidden]> wrote:

> Is this plausible or completely insane? Would this be utterly impossible
> to implement? Would the effects be too far-reaching (and if so, is there
> a way to counter that while still achieving the goal)?
>
> In short... does this look like an interesting idea that is worth pursuing?

Ideas like these pop up from material like More Effective C++. Do
tell, what in this attempt to make sure
that your type is never created in any other way than you choose is
worth a language change?
Is the hypothetical guarantee that the creation always happens just
the way you intended really worth the cost?