On Thursday, 6 January 2022 at 18:52:30 UTC axel.wa...@googlemail.com wrote:
> The actual type set is hard to compute, in general > <https://github.com/golang/go/issues/45346#issuecomment-813639125>, so > using it to define the set of allowed operations on a type is impractical. > The easier to calculate set of specific types was introduced, I believe, to > fix this problem. It should always be a subset of the actual type set. > Is that necessarily true? The spec appears to have an example where the specific types are a superset of the type set: ----- Examples of interfaces with their specific types: ... interface{ int; m() } // int (but type set is empty because int has no method m) ----- -- 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/c511e7f6-2ce3-4c69-af9c-50da95571837n%40googlegroups.com.
