Jeffrey Yasskin <jyasskin_at_[hidden]> writes:

| On Fri, Jul 26, 2013 at 8:30 AM, Gabriel Dos Reis <gdr_at_[hidden]> wrote:
| > Ion Gaztañaga <igaztanaga_at_[hidden]> writes:
| >
| > [...]
| >
| > | ¿How can we tell the compiler that a memory buffer is really a different
| > | type?
| >
| > Invoke a constructor to turn the raw memory into an object of the
| > desired type.
|
| Can you point to the wording that explains the behavior in that case?

I am not sure I understand your request. Ion wants to state a region of
storage is of a given type. The behavior after the contructor ran is
what you get after running a constructor -- see section 12.1.

-- Gaby