Ah, that makes sense, thanks.
> Perhaps it would be better to require the type-parameter names in method
declarations to have the same names as in the type declaration.
I think this is something that linters should do one day.
On Thursday, December 16, 2021 at 12:39:44 PM UTC+3
axel.wa...@googlemail.com wrote:
> It doesn't do "complete nonsense". It's equivalent to writing `func (r
> Result[T])`, it just uses a different identifier for the type-parameter.
> I agree that this looks confusing, which is why you shouldn't do it.
> Perhaps it would be better to require the type-parameter names in method
> declarations to have the same names as in the type declaration. But note
> that even that wouldn't prevent you from doing
>
> type Result[bool any] struct {}
>
> func (r Result[bool]) Method() { /* … */ }
>
> which still looks exactly as confusing.
>
> On Thu, Dec 16, 2021 at 10:24 AM Aliaksandr Mianzhynski <
> amenz...@gmail.com> wrote:
>
>> I'm a bit confused about ability to change struct constraints in methods
>> that it looks like a method definition for a specific type, but in reality
>> it does complete nonsense:
>>
>> Here's an example: https://gotipplay.golang.org/p/zFLJMdp5mbO
>>
>> --
>> 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...@googlegroups.com.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/golang-nuts/ad9317b8-aa69-4077-b24d-f6639eaf55e7n%40googlegroups.com
>>
>> <https://groups.google.com/d/msgid/golang-nuts/ad9317b8-aa69-4077-b24d-f6639eaf55e7n%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/77758644-d686-4f98-b0f9-84037628ee60n%40googlegroups.com.
