std:: is_assignable<int, int>::valueはなぜfalse？

Question

cpprefjpでは、std::is_assignableの効果を以下のように説明しています。

is_assignableは、型Tが型Uから代入可能であるならばtrue_typeから派生し、そうでなければfalse_typeから派生する。

declval<T>() = declval<U>()という実際には評価されない式が適格ならば代入可能であると判断される。

int& = int という式は正しい？のでstd::is_assignableはtrue_typeから派生しますが、
int = int という式は正しい？にも拘わらず、std::is_assignableはfalse_typeから派生しています。
なぜ、このような結果になるのでしょうか？
また、なぜこのような仕様になっているのでしょうか？

int a = 5;
int& ra = a; // できる
std::is_assignable<int&, int>::value; // true

int b = 10;
int bb = b; // できる
std::is_assignable<int, int>::value; // false

is_assignable - cpprefjp C++日本語リファレンス

Answer 1

declval<T>() = declval<U>() が適格であるというのを int の場合に当てはめると int()=int() が適格かということになります。

このときの int は rvalue としての int であり、もちろんそれは代入不可能であるので false になるという理屈です。

Comments

[asobinin]

sdeclval<T&>()はムーブセマンティクスのため、lvalueとして評価されるんですね！
基本的なことを見落としておりました。