diff --git a/doc/go_spec.html b/doc/go_spec.html
index 904132adf0..d8e6bb7b8e 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -4633,7 +4633,9 @@ as for non-constant x
.
-Converting a constant yields a typed constant as result. +Converting a constant to a type that is not a type parameter +yields a typed constant. +Converting a constant to a type parameter yields a non-constant value of that type.
@@ -4669,7 +4671,7 @@ in any of these cases:
x
's type and T
are pointer types
- that are not defined types,
+ that are not named types,
and their pointer base types have identical underlying types.
+Additionally, if T
or x's
type V
are type
+parameters with specific types, x
+can also be converted to type T
if one of the following conditions applies:
+
V
and T
are type parameters and a value of each
+specific type of V
can be converted to each specific type
+of T
.
+V
is a type parameter and a value of each
+specific type of V
can be converted to T
.
+T
is a type parameter and x
can can be converted to each
+specific type of T
.
+Struct tags are ignored when comparing struct types for identity for the purpose of conversion: