1 files changed, 19 insertions, 0 deletions
diff --git a/src/boost/libs/safe_numerics/example/example18.cpp b/src/boost/libs/safe_numerics/example/example18.cpp
new file mode 100644
index 00000000..bb59602e
--- /dev/null
+++ b/src/boost/libs/safe_numerics/example/example18.cpp
@@ -0,0 +1,19 @@
+#include <boost/safe_numerics/safe_integer.hpp>
+#include <boost/safe_numerics/safe_integer_literal.hpp>
+
+using namespace boost::safe_numerics;
+
+int f(int i){
+    return i;
+}
+
+template<intmax_t N>
+using safe_literal = safe_signed_literal<N, native, loose_trap_policy>;
+
+int main(){
+    const long x = 97;
+    f(x);   // OK - implicit conversion to int
+    const safe_literal<97> y;
+    f(y);   // OK - y is a type with min/max = 97;
+    return 0;
+}
+\ No newline at end of file