From c1c6c809091386d7ced6438cffeaca4dd94e4056 Mon Sep 17 00:00:00 2001
From: Sebastian Wilzbach <seb@wilzba.ch>
Date: Thu, 31 Jan 2019 14:21:34 +0100
Subject: [PATCH] std.traits: use assumePurein the public example

---
 std/traits.d | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/std/traits.d b/std/traits.d
index 58d4d1f49..5397a6abf 100644
--- a/std/traits.d
+++ b/std/traits.d
@@ -2446,6 +2446,19 @@ if (is(T == function))
         enum attrs = functionAttributes!T | FunctionAttribute.pure_;
         return cast(SetFunctionAttributes!(T, functionLinkage!T, attrs)) t;
     }
+
+    int f()
+    {
+        import core.thread : getpid;
+        return getpid();
+    }
+
+    int g() pure @trusted
+    {
+        auto pureF = assumePure(&f);
+        return pureF();
+    }
+    assert(g() > 0);
 }
 
 version (unittest)