On 20140913, at 10:24 PM, David Krauss <david_work@me.com> wrote:

So, a good specification would be that a program is ill-formed but no diagnosis is required, if a reference initializer never refers to an object.

Er, never refers to a well-defined storage location suitable for an object of the given type. References can certainly refer to things that only exist in the future.