может иметь переменную определения не-литерального типа в теле функции constexpr c ++ 14?

Я думаю, что в C ++ 14 из constexpr снято больше ограничений. Но согласно N3797 7.1.5 3-пункт:

Определение функции contexpr должно удовлетворять следующим ограничениям:

• это не должно быть виртуальным
• его возвращаемый тип должен быть литеральным типом;
• каждый из его типов параметров должен быть литеральным типом;
• его функция тела должно быть = удалять, знак равно дефолт, или компаунд-заявление это не содержит:
  • ASM-определение,
  • идти к заявление,
  • попробуйте-блок, или же
  • определение переменной не-литерального типа или статической или длительности хранения потока, для которой не инициализируется
    выполнила.

    ---

Я знаю, почему статические переменные продолжительности хранения потоков запрещены, но я не вижу никакой причины, почему ТОЛЬКО допускается определение переменной литерального типа?

Или я не понимаю стандарт.

Я не уверен, но в соответствии со стандартом должны быть созданы следующие ошибки, даже C ++ 14:

struct point{
constexpr point(): x(0), y(0){}
constexpr point(int x_, int y_): x(x_),y(y_){}
constexpr int hypot()const { return x*x + y*y; }
int x,y;
};

constexpr int hypot(int x, int y) {
point p{x,y}; //error, because p - is not literal type.
return p.hypot();
}

// error, because return type is not literal.
constexpr point  getPoint(int x, int y) { return {x,y}; }

// error, because parameter is not literal.
constexpr int hypot(point p) { return p.hypot(); }

Q: Если действительно выше ошибки могут произойти, почему эти ограничения не снимаются?