Add 'requiring': like 'ensuring' but with 'require' semantics. Fixes #2798