summaryrefslogtreecommitdiff
path: root/src/go/types/instantiate.go
Commit message (Expand)AuthorAgeFilesLines
* go/types, types2: use version data type instead of major,minor intsRobert Griesemer2023-05-031-1/+1
* go/types, types2: combine version check with version error reportingRobert Griesemer2023-05-031-1/+1
* go/types, cmd/compile/internal/types2: use per-file Go versionRuss Cox2023-04-141-3/+3
* go/types, types2: add cause parameter to missingMethod, (new)assertableToRobert Griesemer2023-03-011-2/+2
* go/types, types2: add predicate to missingMethod signatureRobert Griesemer2023-03-011-1/+1
* go/types: add a test that generated files match types2Robert Findley2023-01-201-1/+1
* go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup)Robert Griesemer2023-01-201-2/+2
* go/types: generate instantiate.goRobert Griesemer2023-01-201-0/+2
* cmd/compile: remove support for old comparable semanticsRobert Griesemer2023-01-171-9/+0
* go/types: use nopos instead of token.NoPos to match types2Robert Griesemer2023-01-171-2/+2
* cmd/compile: better error message for when a type is in a constraint but not ...Robert Griesemer2023-01-111-4/+33
* cmd/compile: use "satisfies" (not "implements") for constraint errorsRobert Griesemer2023-01-041-10/+15
* go/types, types2: make the new comparable semantics the defaultRobert Griesemer2022-12-011-6/+27
* Revert "go/types, types2: make the new comparable semantics the default"Robert Griesemer2022-12-011-27/+6
* go/types, types2: make the new comparable semantics the defaultRobert Griesemer2022-12-011-6/+27
* go/types: avoid formatting unneeded causesAlan Donovan2022-10-311-6/+6
* go/types, types2: implement alternative comparable semanticsRobert Griesemer2022-10-241-4/+9
* go/types: use internal/types/errors instead of local error codesRobert Griesemer2022-10-101-1/+2
* go/types, types2: consistently use "cause" instead of "reason" for error deta...Robert Griesemer2022-09-281-21/+21
* go/types, types2: don't build unnecessary error strings in implementsRobert Findley2022-08-151-30/+49
* go/types, types2: only set instance context if packages matchRobert Findley2022-06-091-19/+20
* go/types, types2: better error message if type is not in type setRobert Griesemer2022-06-071-1/+1
* go/types, types2: ensure that named types never expand infinitelyRobert Findley2022-06-061-24/+59
* go/types, types2: store Named instance information separatelyRobert Findley2022-06-061-4/+1
* go/types, types2: remove Named.once in favor of monotonic stateRobert Findley2022-06-061-3/+0
* go/types, types2: remove redundant calls to Named.resolveRobert Findley2022-05-241-1/+1
* go/types: clarify that contexts do not guarantee deduplicationRobert Findley2022-03-301-1/+2
* go/types, types2: improved tracing output throughout (debugging support)Robert Griesemer2022-03-211-1/+2
* go/types, types2: clarify documentation with respect to generic typesRobert Findley2022-03-091-4/+4
* go/types, types2: add "dynamic" flag to comparable predicateRobert Griesemer2022-02-231-1/+1
* go/types, types2: ensure we have an interface before checking constraintsRobert Griesemer2022-02-071-0/+2
* go/types, types2: always use missingMethodReason in checker.ImplementsRobert Griesemer2022-02-041-28/+5
* go/types, types2: fix implements and identical predicatesRobert Griesemer2022-01-311-1/+1
* go/types, types2: remove Qualifier parameter from Checker.implementsRobert Griesemer2022-01-281-11/+6
* go/types, types2: use Checker.implements in operand.assignableToRobert Griesemer2022-01-281-0/+2
* go/types, types2: better error reporting for Checker.implementsRobert Griesemer2022-01-281-13/+24
* go/types, types2: make each method instantiation independently lazyRobert Findley2022-01-251-1/+1
* go/types, types2: avoid field/method lookup error on invalid typesRobert Griesemer2022-01-181-1/+4
* go/types, types2: delay "does not satisfy comparable" error until neededRobert Griesemer2021-12-201-14/+11
* all: gofmt -w -r 'interface{} -> any' srcRuss Cox2021-12-131-1/+1
* go/types, types2: unexport NewTypeListRobert Findley2021-12-061-1/+1
* go/types: better error message for missing ~ in constraintRobert Griesemer2021-11-291-3/+22
* go/types: use "implements" rather than "satisfies" in error messagesRobert Findley2021-11-181-11/+10
* go/types: remove unneccesary tests in implements and lookupRobert Findley2021-11-181-6/+0
* go/types: implement Checker.implementsRobert Findley2021-11-181-56/+65
* go/types: remove asTypeParam and simplify some codeRobert Findley2021-11-161-4/+4
* go/types: assign error codes to new errors for Go 1.18Robert Findley2021-11-151-1/+1
* go/types: return an error from Instantiate on incorrect len(targs)Robert Findley2021-11-131-20/+30
* go/types: deduplicate signatures with the contextRobert Findley2021-11-131-19/+24
* go/types: re-use type hashing logic in Context.typeHashRobert Findley2021-11-121-2/+2