]> Cypherpunks.ru repositories - gostls13.git/commit
[dev.typeparams] go/types: unify methods in missingMethod
authorRob Findley <rfindley@google.com>
Fri, 15 Jan 2021 16:19:13 +0000 (11:19 -0500)
committerRobert Findley <rfindley@google.com>
Tue, 19 Jan 2021 21:29:06 +0000 (21:29 +0000)
commit2e64511ac965085cc6a74888b0e441c7e4a47468
treed919853b4c34bcc61e2db438677400f6cb8bf310
parent958927c8249fc7e073ffa5e5f0a8f7d3498b5616
[dev.typeparams] go/types: unify methods in missingMethod

Unify methods in Checker.missingMethod. This code was accidentally
dropped from the merge, while dropping support for method type
parameters, but is needed for checking implementations of generic
interfaces.

Put the logic back, including checks that are only needed for method
type parameters. It makes the code no simpler to assume that method type
parameters are disallowed, and we have checks elsewhere that produce
errors for methods with type parameters.

Change-Id: I91f0c9d3e04537fdb9f7ae23a4ce4cec9f1da10e
Reviewed-on: https://go-review.googlesource.com/c/go/+/284252
Run-TryBot: Robert Findley <rfindley@google.com>
TryBot-Result: Go Bot <gobot@golang.org>
Trust: Robert Findley <rfindley@google.com>
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Griesemer <gri@golang.org>
src/go/types/lookup.go