From: Robert Findley <rfindley@google.com>
Date: Tue, 26 Oct 2021 13:47:18 +0000 (-0400)
Subject: cmd/compile/internal/typecheck: update doc for the 1.18 export format
X-Git-Tag: go1.18beta1~753
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=1b2362bb83de47188e7c60a69f46950de542f017;p=gostls13.git

cmd/compile/internal/typecheck: update doc for the 1.18 export format

Update the documentation in iexport.go to use the word 'Constraint'
rather than 'Bound', and to account for recent changes to the export
format.

Change-Id: I83fbcd336d5f865af804bc8bef4f5d997cd9f325
Reviewed-on: https://go-review.googlesource.com/c/go/+/358547
Trust: Robert Findley <rfindley@google.com>
Trust: Dan Scales <danscales@google.com>
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Dan Scales <danscales@google.com>
---

diff --git a/src/cmd/compile/internal/typecheck/iexport.go b/src/cmd/compile/internal/typecheck/iexport.go
index 6057000a5d..f685851e40 100644
--- a/src/cmd/compile/internal/typecheck/iexport.go
+++ b/src/cmd/compile/internal/typecheck/iexport.go
@@ -97,9 +97,10 @@
 //
 //     // "Automatic" declaration of each typeparam
 //     type TypeParam struct {
-//         Tag  byte // 'P'
-//         Pos  Pos
-//         Bound typeOff
+//         Tag        byte // 'P'
+//         Pos        Pos
+//         Implicit   bool
+//         Constraint typeOff
 //     }
 //
 // typeOff means a uvarint that either indicates a predeclared type,
@@ -108,7 +109,7 @@
 // types list (see predeclared in bexport.go for order). Otherwise,
 // subtracting predeclReserved yields the offset of a type descriptor.
 //
-// Value means a type and type-specific value. See
+// Value means a type, kind, and type-specific value. See
 // (*exportWriter).value for details.
 //
 //