These arguments would be more convincing, if Go wouldn't already reject interfaces impossible to implement: https://play.golang.org/p/dYm8js26qml
On Thu, Jun 18, 2020, 17:26 Jesper Louis Andersen < jesper.louis.ander...@gmail.com> wrote: > It is a type which cannot be inhabited by a term. These exist and often > have uses. As Bryan wrote they also completes the type lattice, so > rejecting them is often a lot of work for little gain. > > If you want examples, look up phantom types, where an uninhabited type is > used as a tag for ensuring compile time restrictions. > > On Wed, Jun 17, 2020, 22:09 jimmy frasche <soapboxcic...@gmail.com> wrote: > >> This isn't a bug per se, but I can file one if requested. >> >> https://go2goplay.golang.org/p/AWynhg6ya7h >> >> Since embedding interfaces with type lists uses the intersection of >> the items in the type list, it's possible to create an interface that >> cannot be satisfied by any type. >> >> Currently this does not cause an error until you attempt to >> instantiate something that uses such an interface as a bound. >> >> I think it would be more useful to raise the error when defining the >> interface that cannot be used as it's likely an error—or at least I >> can see no valid use for creating an unsatisfiable constraint. >> >> -- >> 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/CANG3jXJt_n1HrRMV1SBcaurXOrXVJxXrKN_F%3DtgMAcMJ%2BPOLcg%40mail.gmail.com >> . >> > -- > 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/CAGrdgiVPP21fky2qcgfnAYjH6H047C1A0Y_V%3Doa%3DB3pTWRX68g%40mail.gmail.com > <https://groups.google.com/d/msgid/golang-nuts/CAGrdgiVPP21fky2qcgfnAYjH6H047C1A0Y_V%3Doa%3DB3pTWRX68g%40mail.gmail.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/CAEkBMfEiwoyZQZuq3w3wwJrj1z3rZe8Hb7ed7v1yohisbYMAvA%40mail.gmail.com.
