Post #2636435

@DanielaKEngert@hachyderm.io @andreasfertig@mas.to It still does not matter. It is not statically decidable in all cases anyway (unless someone adds pointer alignment to the type system, which P3100 does not talk about), so the Undefined Behaviour (or run-time assertion failure due to precondition violation) still remains. Ignoring alignment requirement in a call to std::start_lifetime_as is a bug, and it really must not be used or taught that way.