is_assignable<int, int> == false

Вносите Эдика.

rvalue -> lvalue

Немного код в примере перепутал с экспериментом. Исправил

А, ну да, rvalue нельзя ничего присвоить (у нее нет имени).

Ну вот, обломал увлекательный(нет) поиск ответа на вопрос «какого ...?»

Ящетаю, это баг в стандарте. Ведь с пользовательскими типами все работает (в большинстве своем) изза дефолтного T& operator=(T&&).

#include <type_traits>

struct T { T& operator=(T&&) = delete; /* kablamo, type_traits! */ };

int main() {
  return std::is_assignable_v<T, T>;
}

https://cppinsights.io/lnk?code=I2luY2x1ZGUgPHR5cGVfdHJhaXRzPgoKc3RydWN0IFQgeyBUJiBvcGVyYXRvcj0gKFQmJikgPSBkZWxldGU7IH07CgppbnQgbWFpbigpIHsKICByZXR1cm4gc3RkOjppc19hc3NpZ25hYmxlX3Y8VCwgVD47Cn0K&insightsOptions=cpp17&std=cpp17&rev=1.0

Тут просто различие в семантике присвоения: вот так должен выглядеть оператор присвоения, аналогичный таковому для встроенного типа - T& operator=(const T&) &(внимание на перегрузку по lvalue для this). Так наверное и для user-defined не сработает. Для перемещения тоже самое, КМК

По человекопонятному замыслу должен выглядеть так (псевдокод)

template <class T, class V> is_true_assignable_v = is_assignable_v<T&,V>