[#inline_assertion_check]
= inline&lowbar;assertion&lowbar;check
:mrdocs:

Helper for Assert()&sol;Assume()&period;

== Synopsis

Declared in `&lt;util&sol;check&period;h&gt;`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template&lt;
    bool IS&lowbar;ASSERT,
    typename T&gt;
constexpr
T&&
inline&lowbar;assertion&lowbar;check(
    T&& val,
    std::source&lowbar;location const& loc,
    std::string&lowbar;view assertion);
----

== Return Value

The forwarded value when the check passes&period;

== Parameters

[cols="1,4"]
|===
| Name| Description
| *val*
| The value to check&semi; the call aborts when it is falsey and checking is active&period;
| *loc*
| The source location of the check&period;
| *assertion*
| The stringified checked expression&period;
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#
