I suspect this issue is hard/impossible to avoid, because it must be
possible to self- and mutually reference type-parameters, in a way that
it's not for normal parameters, to allow to write something like
type Equaler[T any] interface {
Equal(T) bool
}
func Eq[T Equaler[T]](a, b T) bool {
return a.Equal(b)
}
or basically any use-case for constraint-type inference.
Even if we *could* allow it consistently, the rules for doing that would
likely be pretty complex. Better to take the relatively minor hit of
disallowing this overloading (you can always use different names for the
type-parameters, if they conflict with the constraint you want to use) than
to take the hit of complex scoping rules with lots of exceptions.
On Fri, Nov 12, 2021 at 9:48 AM tapi...@gmail.com <tapir....@gmail.com>
wrote:
> I expect the following code compilers okay, but it doesn't.
> It looks All the three "I" in the Bar function declaration are
> viewed as the type parameter, whereas the second one is
> expected as the constraint I (at least by me).
>
> package main
>
> type I interface { M() }
>
> func Foo(i I) {
> i.M()
> }
>
> func Bar[I I](i I) { // cannot use a type parameter as constraint
> i.M()
> }
>
> func main() {}
>
> --
> 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/9fc66e8e-3f99-4c3a-87f7-ce7c1a705cdcn%40googlegroups.com
> <https://groups.google.com/d/msgid/golang-nuts/9fc66e8e-3f99-4c3a-87f7-ce7c1a705cdcn%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/CAEkBMfGj_h1iTSx%2BhFoQC%3DWJm_XeL7-Jf%2BcOmNEc5gT8ZxubNA%40mail.gmail.com.
