Does `requires` followed by a requires-expression actually call the expressions inside it, and what is `f` here?

#include <concepts> template <typename T> concept Addable = requires (T a, T b) { a + b; { a += b } -> std::same_as<T&>; }; constexpr bool f = Addable<int>;