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.

