1
0
mirror of https://github.com/golang/go synced 2024-11-06 12:36:22 -07:00
go/doc
Robert Griesemer a04a665a92 spec: update section on type inference for Go 1.21
The new section describes type inference as the problem
of solving a set of type equations for bound type parameters.

The next CL will update the section on unification to match
the new inference approach.

Change-Id: I2cb49bfb588ccc82d645343034096a82b7d602e2
Reviewed-on: https://go-review.googlesource.com/c/go/+/503920
TryBot-Bypass: Robert Griesemer <gri@google.com>
Reviewed-by: Ian Lance Taylor <iant@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Auto-Submit: Robert Griesemer <gri@google.com>
2023-07-20 23:09:32 +00:00
..
asm.html
go1.17_spec.html
go1.21.html doc/go1.21: add release notes for linux/loong64 2023-07-19 01:25:04 +00:00
go1.22.html doc: start draft Go 1.22 release notes 2023-07-18 21:18:56 +00:00
go_mem.html
go_spec.html spec: update section on type inference for Go 1.21 2023-07-20 23:09:32 +00:00
godebug.md net: mptcp: force using MPTCP with GODEBUG 2023-07-11 00:36:57 +00:00