I believe you are correct in that the spec needs work here. The two should
probably not be considered identical, but they are according to the spec
right now.
I'm not sure this poses an immediate problem, as I don't think such
interfaces can ever appear in a position where type identity matters.
On Thu, Mar 24, 2022 at 1:29 PM tapi...@gmail.com <tapir....@gmail.com>
wrote:
> Then I think interface{int; m()} and interface{bool;; m()} should be
> identical.
> Because their type sets are both empty..
>
> On Thursday, March 24, 2022 at 7:38:10 PM UTC+8 Jan Mercl wrote:
>
>> On Thu, Mar 24, 2022 at 11:58 AM tapi...@gmail.com <tapi...@gmail.com>
>> wrote:
>>
>> https://go.dev/ref/spec#Type_identity
>>
>> """"
>> Two interface types are identical if they define the same type set.
>> """"
>>
> --
> You received this message because you are subscribed to the Google Groups
> "golang-nuts" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to golang-nuts+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/golang-nuts/74f1adbe-020b-401e-b897-895f4d03a312n%40googlegroups.com
> <https://groups.google.com/d/msgid/golang-nuts/74f1adbe-020b-401e-b897-895f4d03a312n%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
--
You received this message because you are subscribed to the Google Groups
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to golang-nuts+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/golang-nuts/CAEkBMfG5bfjii4FiFPaRxn0Of%2B6gL4Ah%3DE90SAhzwMdrsjM17g%40mail.gmail.com.
