Cloud the current generic draft constraint a type parameter must be exactly some types

[tapi...@gmail.com]

instead of sharing the same underlying types with some types?

[Ian Lance Taylor]

On Fri, Sep 18, 2020 at 10:07 AM tapi...@gmail.com <tapi...@gmail.com> wrote:
>
> instead of sharing the same underlying types with some types?

In the current design draft, the answer is yes, but only for
non-predeclared defined types.

https://go.googlesource.com/proposal/+/refs/heads/master/design/go2draft-type-parameters.md#type-lists-in-interface-types

Ian

[tapi...@gmail.com]

If sum types are supported can they can be used as general parameter types,

then it is possible to declare overloaded functions/methods demoed in the end of this article.

This might be good for some scenarios.