mirror
/
go
mirror of https://github.com/golang/go.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

go/types: update NOTES 

Missed with prior commit.

Change-Id: If111c8c6df6663199a23f8a1d2c147114f34ba6f
This commit is contained in:
Robert Griesemer 2020-02-19 14:52:24 -08:00
parent 86c2daf9e9
commit 08e2d11638
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/go/types/NOTES
View File

@ -31,8 +31,6 @@ OPEN QUESTIONS
- Confirm that it's ok to use inference in missingMethod to compare parameterized methods.
- What does it mean to explicitly instantiate a contract with a non-type parameter argument?
(e.g., contract C(T) { T int }; func _(type T C(int))(...) ... seems invalid. What are the rules?)
- Should we be able to parenthesize embedded contracts like we allow for interfaces (currently this
is not permitted syntactically)?
----------------------------------------------------------------------------------------------------
DESIGN/IMPLEMENTATION
@ -97,3 +95,5 @@ DESIGN/IMPLEMENTATION
field with a parenthesized type foo (T) and an embedded parameterized type (foo(T)), similarly
to interace embedding.
- 2/19/2020: Permit parentheses around embedded contracts for symmetry with embedding in structs
and interfaces.