summaryrefslogtreecommitdiffhomepage
path: root/source
diff options
context:
space:
mode:
Diffstat (limited to 'source')
-rw-r--r--source/wg01/wg01.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/source/wg01/wg01.tex b/source/wg01/wg01.tex
index d74db20..769208e 100644
--- a/source/wg01/wg01.tex
+++ b/source/wg01/wg01.tex
@@ -122,7 +122,7 @@ inline constexpr auto kInvalidType = 0;
template <class Driver>
concept IsValidDriver = requires(Driver drv) {
- { drv.IsActive() && drv.Type() > kInvalidType };
+ { static_assert(drv.IsActive() && drv.Type() > kInvalidType, "Driver is not valid for usage.") };
};
\end{lstlisting} Source: \href{https://github.com/nekernel-org/nekernel/blob/develop/src/libDDK/DriverKit/c%2B%2B/driver_base.h}{Link}.\\ Now, the problem with freestanding development is that such feature may be abused, and it is mitigated by following the TTPI.