diff --git a/doc/go_spec.html b/doc/go_spec.html index 9b37e0ded0..ad12fcfaa9 100644 --- a/doc/go_spec.html +++ b/doc/go_spec.html @@ -7116,8 +7116,9 @@ make(T, n) channel buffered channel of type T, buffer size n
-Each of the size arguments n
and m
must be of integer type
-or an untyped constant.
+Each of the size arguments n
and m
must be of integer type,
+have a type set containing only integer types,
+or be an untyped constant.
A constant size argument must be non-negative and representable
by a value of type int
; if it is an untyped constant it is given type int
.
If both n
and m
are provided and are constant, then
@@ -7154,9 +7155,9 @@ by the arguments overlaps.
The variadic function append
appends zero or more values x
to a slice s
-and returns the resulting slice.
+and returns the resulting slice of the same type as s
.
The core type of s
must be a slice
-of the form []E
.
+of type []E
.
The values x
are passed to a parameter of type ...E
and the respective parameter
passing rules apply.
@@ -7166,7 +7167,7 @@ followed by ...
. This form appends the bytes of the string.
-append(s S, x ...E) S // E is the element type of the core type of S +append(s S, x ...E) S // core type of S is []E
@@ -7922,11 +7923,17 @@ func Add(ptr Pointer, len IntegerType) Pointer func Slice(ptr *ArbitraryType, len IntegerType) []ArbitraryType + +
A Pointer
is a pointer type but a Pointer
value may not be dereferenced.
-Any pointer or value of underlying type uintptr
can be converted to
-a type of underlying type Pointer
and vice versa.
+Any pointer or value of underlying type uintptr
can be
+converted to a type of underlying type Pointer
and vice versa.
The effect of converting between Pointer
and uintptr
is implementation-defined.
A (variable of) type T
has variable size if T
-is a type parameter, or if it is an array or struct type containing elements
+is a type parameter, or if it is an
+array or struct type containing elements
or fields of variable size. Otherwise the size is constant.
Calls to Alignof
, Offsetof
, and Sizeof
are compile-time constant expressions of