From 08e2d11638e72597f865d0c5bea4c4832121acc3 Mon Sep 17 00:00:00 2001 From: Robert Griesemer Date: Wed, 19 Feb 2020 14:52:24 -0800 Subject: [PATCH] go/types: update NOTES Missed with prior commit. Change-Id: If111c8c6df6663199a23f8a1d2c147114f34ba6f --- src/go/types/NOTES | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/go/types/NOTES b/src/go/types/NOTES index b18f45ebe1..e90c97d85e 100644 --- a/src/go/types/NOTES +++ b/src/go/types/NOTES @@ -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.