47916-parameterized-go-types.md: updates for ArgumentError
Update ArgumentError following CL 351335.
Change-Id: I93f96529b2795ae5b030099c0ea41ecdbd6373af
Reviewed-on: https://go-review.googlesource.com/c/proposal/+/351350
Reviewed-by: Robert Findley <rfindley@google.com>
diff --git a/design/47916-parameterized-go-types.md b/design/47916-parameterized-go-types.md
index 52092a8..0eaf136 100644
--- a/design/47916-parameterized-go-types.md
+++ b/design/47916-parameterized-go-types.md
@@ -176,10 +176,13 @@
```go
func Instantiate(env *Environment, orig Type, targs []Type, verify bool) (Type, error)
-type ArgumentError struct { /* ... */ }
+type ArgumentError struct {
+ Index int
+ Err error
+}
-func (ArgumentError) Error() string
-func (ArgumentError) Index() int
+func (*ArgumentError) Error() string
+func (*ArgumentError) Unwrap() error
type Environment struct { /* ... */ }
@@ -193,7 +196,7 @@
A new `Instantiate` function is added to allow the creation of type and function instances. The `orig` argument supplies the parameterized `*Named` or `*Signature` type being instantiated, and the `targs` argument supplies the type arguments to be substituted for type parameters. It is an error to call `Instantiate` with anything other than a `*Named` or `*Signature` type for `orig`, or with a `targs` value that has length different from the number of type parameters on the parameterized type; doing so will result in a non-nil error being returned.
-If `verify` is true, `Instantiate` will verify that type arguments satisfy their corresponding type parameter constraint. If they do not, the returned error will be non-nil and may be of type dynamic type `ArgumentError`. `ArgumentError` is a new type used to represent an error associated with a specific argument index.
+If `verify` is true, `Instantiate` will verify that type arguments satisfy their corresponding type parameter constraint. If they do not, the returned error will be non-nil and may wrap an `*ArgumentError`. `ArgumentError` is a new type used to represent an error associated with a specific argument index.
If `orig` is a `*Named` or `*Signature` type, the length of `targs` matches the number of type parameters, and `verify` is false, `Instantiate` will return a nil error.
