Merge pull request #4165 from chibisi/master

Update traits.dd

Signed-off-by: Richard (Rikki) Andrew Cattermole <[email protected]>
Merged-on-behalf-of: Nicholas Wilson <[email protected]>

Author: dlang-bot

spec/traits.dd

@@ -1930,6 +1930,30 @@ static assert(__traits(isSame, object, object));
 alias daz = foo;
 static assert(__traits(isSame, foo, daz));
 ---
+)
+        $(P isSame matches against non-instantiated templates.)
+
+$(SPEC_RUNNABLE_EXAMPLE_COMPILE
+---
+struct Foo(T){
+    T x;
+}
+
+struct Bar(T){
+    T x;
+}
+
+struct Point(T){
+    T x;
+    T y;
+}
+
+enum isFooOrBar(alias FB) = __traits(isSame, FB, Foo) || __traits(isSame, FB, Bar);
+
+static assert(isFooOrBar!(Foo));
+static assert(isFooOrBar!(Bar));
+static assert(!isFooOrBar!(Point));
+---
 )
 
         $(P The result is `true` if the two arguments are expressions