diff --git a/doc/go_spec.html b/doc/go_spec.html index 7099f36020..28aba70e4f 100644 --- a/doc/go_spec.html +++ b/doc/go_spec.html @@ -4526,7 +4526,7 @@
typeof(pi) ≡A typeof(ai)
.
ai
is an untyped constant cj
,
- and pi
is a bound type parameter Pk
,
+ and typeof(pi)
is a bound type parameter Pk
,
the pair (cj, Pk)
is collected separately from
the type equations.
@@ -4543,7 +4543,7 @@
For a return statement return …, f, …
where f
is a
generic function returned as a result to a (non-generic) result variable
- of function type:
+ r
of function type:
typeof(r) ≡A typeof(f)
.