I found when I using a concept with requires expression, the compiler won’t match the constraints but report an ambiguous error. After replace the requires expression to a common expression, it actually passed the compile. What is the difference between adding a requires expression to a concept and not adding one ?