1
0
mirror of https://github.com/golang/go synced 2024-11-24 00:50:10 -07:00
go/doc
Robert Griesemer 3df4472201 spec: adjust rules for specific types once more
Introduce a (local) notion of a set of representative types,
which serves as a representation/approximation of an
interface's actual type set. If the set of representative
types is is non-empty and finite, it corresponds to the set
of specific types of the interface.

In the implementation, the set of representative types serves
as a finite representation of an interface's type set, together
with the set of methods.

Change-Id: Ib4c6cd5e17b81197672e4247be9737dd2cb6b56f
Reviewed-on: https://go-review.googlesource.com/c/go/+/376834
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Ian Lance Taylor <iant@golang.org>
2022-01-12 01:41:46 +00:00
..
asm.html doc/asm: fix HTML markup 2021-09-10 17:15:37 +00:00
go1.17_spec.html spec: fix a broken link 2021-11-11 19:44:13 +00:00
go1.18.html doc/go1.18: document type parameter name restriction 2022-01-07 18:20:24 +00:00
go_mem.html
go_spec.html spec: adjust rules for specific types once more 2022-01-12 01:41:46 +00:00