See https://en.cppreference.com/w/cpp/language/requires for more details.
Signed-off-by: gatecat <gatecat@ds0.me>