Неправильно ли std :: is_trivially_copyable?

Учитывая cppreference и текущий рабочий черновик C++, класс можно легко скопировать, если:

1. Каждый конструктор копирования тривиален или удален
2. Каждый конструктор перемещения тривиален или удален
3. Каждый оператор присваивания копии тривиален или удален
4. Каждый оператор присваивания ходов прост или удален
5. по крайней мере один конструктор копирования, конструктор перемещения, оператор присваивания копии или оператор присваивания перемещения не удаляется

6. Тривиальный неудаленный деструктор

   • http://en.cppreference.com/w/cpp/concept/TriviallyCopyable
   • http://en.cppreference.com/w/cpp/types/is_trivially_copyable
   • https://github.com/cplusplus/draft/blob/master/papers/n4750.pdf (стр. 215)

Итак, я придумал этот пример кода:

#include <type_traits>

struct non_trivially_copyable {
  non_trivially_copyable(non_trivially_copyable const&) = delete;
  non_trivially_copyable& operator=(non_trivially_copyable const&) = delete;
  non_trivially_copyable(non_trivially_copyable &&) = delete;
  non_trivially_copyable& operator=(non_trivially_copyable &&) = delete;
};

int main()
{
    return std::is_trivially_copyable<non_trivially_copyable>::value;
}

Мой класс не удовлетворяет требованию номер 5. Тем не менее, это дает мне результат, что мой класс non_trivially_copyable легко копируется. Я тестировал его на некоторых онлайн-компиляторах:

• https://godbolt.org/g/9s4fr9
• https://wandbox.org/permlink/sEJYdi5aIDMzsjGY
• https://onlinegdb.com/SyFyTBrx7
• http://coliru.stacked-crooked.com/a/93b6ea4d202092a6

Я сомневаюсь, что все реализации ошибочны; так почему я получаю такой результат?