| 1805 | constexpr explicit PostCheck(Pattern const &pattern, Pred const &pred) |
| 1806 | : mPattern{pattern}, mPred{pred} {} |
| 1807 | constexpr bool check() const { return mPred(); } |
| 1808 | constexpr auto const &pattern() const { return mPattern; } |
| 1809 | |
| 1810 | private: |