spec: slightly more realistic example for type assertions
For #17428.
Change-Id: Ia902b50cf0c40e3c2167fb573a39d328331c38c7
Reviewed-on: https://go-review.googlesource.com/31449
Reviewed-by: Ian Lance Taylor <iant@golang.org>
diff --git a/doc/go_spec.html b/doc/go_spec.html
index 5243ec6..ee3a845 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1,6 +1,6 @@
<!--{
"Title": "The Go Programming Language Specification",
- "Subtitle": "Version of October 18, 2016",
+ "Subtitle": "Version of October 19, 2016",
"Path": "/ref/spec"
}-->
@@ -3116,13 +3116,16 @@
</p>
<pre>
-var x interface{} = 7 // x has dynamic type int and value 7
-i := x.(int) // i has type int and value 7
+var x interface{} = 7 // x has dynamic type int and value 7
+i := x.(int) // i has type int and value 7
type I interface { m() }
-var y I
-s := y.(string) // illegal: string does not implement I (missing method m)
-r := y.(io.Reader) // r has type io.Reader and y must implement both I and io.Reader
+
+func f(y I) {
+ s := y.(string) // illegal: string does not implement I (missing method m)
+ r := y.(io.Reader) // r has type io.Reader and the dynamic type of y must implement both I and io.Reader
+ …
+}
</pre>
<p>
