c++ – Concept is satisfied by a type that would seemingly produce an …

will not check whether it is actually well-formed to have the call v.foo (). If v.foo () would be ill-formed due to an ill-formed construct inside the body of the foo function, this will not be detected by the requires-expression because the body is not in the immediate context.

https://stackoverflow.com/questions/75278546/concept-is-satisfied-by-a-type-that-would-seemingly-produce-an-invalid-expressio