| 54 | /// Generates a message with the INFO severity level. |
| 55 | template <class... Ts> |
| 56 | [[noreturn]] void fail(format_string_with_location fwl, Ts&&... xs) { |
| 57 | auto msg = detail::format(fwl.value, std::forward<Ts>(xs)...); |
| 58 | reporter::instance().fail(msg, fwl.location); |
| 59 | requirement_failed::raise(fwl.location); |
| 60 | } |
| 61 | |
| 62 | /// Checks whether `lhs` and `rhs` are equal. |
| 63 | template <class T0, class T1> |
no test coverage detected