summary refs log tree commit diff stats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/manual_experimental.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual_experimental.md b/doc/manual_experimental.md
index d05a693bb..41d463ff8 100644
--- a/doc/manual_experimental.md
+++ b/doc/manual_experimental.md
@@ -919,6 +919,7 @@ The concept matches if:
 
 a) all expressions within the body can be compiled for the tested type
 b) all statically evaluable boolean expressions in the body are true
+c) all type modifiers specified match their respective definitions
 
 The identifiers following the `concept` keyword represent instances of the
 currently matched type. You can apply any of the standard type modifiers such