What does the compound requirement in this `requires` expression actually check for type T?

template <typename T> concept Addable = requires (T a, T b) { { a + b } -> std::convertible_to<T>; };