Merge pull request dlang#3197 from andrejp88/patch-3

dlang-bot · web-flow · commit 124db8a19fe4 · 2022-02-10T07:46:54.000Z
Correct hasMember trait example

Signed-off-by: Max Haughton &lt;maxhaton@users.noreply.github.com&gt;
Merged-on-behalf-of: Max Haughton &lt;maxhaton@users.noreply.github.com&gt;
diff --git a/spec/traits.dd b/spec/traits.dd
@@ -677,8 +677,6 @@ import std.stdio;
 struct S
 {
     int m;
-
-    import std.stdio; // imports write
 }
 
 void main()
@@ -688,7 +686,7 @@ void main()
     writeln(__traits(hasMember, S, "m")); // true
     writeln(__traits(hasMember, s, "m")); // true
     writeln(__traits(hasMember, S, "y")); // false
-    writeln(__traits(hasMember, S, "write")); // true
+    writeln(__traits(hasMember, S, "write")); // false, but callable like a member via UFCS
     writeln(__traits(hasMember, int, "sizeof")); // true
 }
 ---

Original file line number	Diff line number	Diff line change
`@@ -677,8 +677,6 @@ import std.stdio;`
`677`	`677`	`struct S`
`678`	`678`	`{`
`679`	`679`	`int m;`
`680`		`-`
`681`		`- import std.stdio; // imports write`
`682`	`680`	`}`
`683`	`681`
`684`	`682`	`void main()`
`@@ -688,7 +686,7 @@ void main()`
`688`	`686`	`writeln(__traits(hasMember, S, "m")); // true`
`689`	`687`	`writeln(__traits(hasMember, s, "m")); // true`
`690`	`688`	`writeln(__traits(hasMember, S, "y")); // false`
`691`		`- writeln(__traits(hasMember, S, "write")); // true`
	`689`	`+ writeln(__traits(hasMember, S, "write")); // false, but callable like a member via UFCS`
`692`	`690`	`writeln(__traits(hasMember, int, "sizeof")); // true`
`693`	`691`	`}`
`694`	`692`	`---`