aboutsummaryrefslogtreecommitdiff
path: root/src/go/types/instantiate.go
AgeCommit message (Expand)Author
2024-04-03go/types: include link to source in generated filesAlan Donovan
2024-03-14go/types, types2: don't do version checks for embedded types of imported inte...Robert Griesemer
2023-12-08cmd/compile: fix error message for mismatch between the number of type params...Raghvender
2023-09-15go/types, types2: introduce `isValid` predicate and use throughoutRobert Griesemer
2023-05-03go/types, types2: use version data type instead of major,minor intsRobert Griesemer
2023-05-03go/types, types2: combine version check with version error reportingRobert Griesemer
2023-04-14go/types, cmd/compile/internal/types2: use per-file Go versionRuss Cox
2023-03-01go/types, types2: add cause parameter to missingMethod, (new)assertableToRobert Griesemer
2023-03-01go/types, types2: add predicate to missingMethod signatureRobert Griesemer
2023-01-20go/types: add a test that generated files match types2Robert Findley
2023-01-20go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup)Robert Griesemer
2023-01-20go/types: generate instantiate.goRobert Griesemer
2023-01-17cmd/compile: remove support for old comparable semanticsRobert Griesemer
2023-01-17go/types: use nopos instead of token.NoPos to match types2Robert Griesemer
2023-01-11cmd/compile: better error message for when a type is in a constraint but not ...Robert Griesemer
2023-01-04cmd/compile: use "satisfies" (not "implements") for constraint errorsRobert Griesemer
2022-12-01go/types, types2: make the new comparable semantics the defaultRobert Griesemer
2022-12-01Revert "go/types, types2: make the new comparable semantics the default"Robert Griesemer
2022-12-01go/types, types2: make the new comparable semantics the defaultRobert Griesemer
2022-10-31go/types: avoid formatting unneeded causesAlan Donovan
2022-10-24go/types, types2: implement alternative comparable semanticsRobert Griesemer
2022-10-10go/types: use internal/types/errors instead of local error codesRobert Griesemer
2022-09-28go/types, types2: consistently use "cause" instead of "reason" for error deta...Robert Griesemer
2022-08-15go/types, types2: don't build unnecessary error strings in implementsRobert Findley
2022-06-09go/types, types2: only set instance context if packages matchRobert Findley
2022-06-07go/types, types2: better error message if type is not in type setRobert Griesemer
2022-06-06go/types, types2: ensure that named types never expand infinitelyRobert Findley
2022-06-06go/types, types2: store Named instance information separatelyRobert Findley
2022-06-06go/types, types2: remove Named.once in favor of monotonic stateRobert Findley
2022-05-24go/types, types2: remove redundant calls to Named.resolveRobert Findley
2022-03-30go/types: clarify that contexts do not guarantee deduplicationRobert Findley
2022-03-21go/types, types2: improved tracing output throughout (debugging support)Robert Griesemer
2022-03-09go/types, types2: clarify documentation with respect to generic typesRobert Findley
2022-02-23go/types, types2: add "dynamic" flag to comparable predicateRobert Griesemer
2022-02-07go/types, types2: ensure we have an interface before checking constraintsRobert Griesemer
2022-02-04go/types, types2: always use missingMethodReason in checker.ImplementsRobert Griesemer
2022-01-31go/types, types2: fix implements and identical predicatesRobert Griesemer
2022-01-28go/types, types2: remove Qualifier parameter from Checker.implementsRobert Griesemer
2022-01-28go/types, types2: use Checker.implements in operand.assignableToRobert Griesemer
2022-01-28go/types, types2: better error reporting for Checker.implementsRobert Griesemer
2022-01-25go/types, types2: make each method instantiation independently lazyRobert Findley
2022-01-18go/types, types2: avoid field/method lookup error on invalid typesRobert Griesemer
2021-12-20go/types, types2: delay "does not satisfy comparable" error until neededRobert Griesemer
2021-12-13all: gofmt -w -r 'interface{} -> any' srcRuss Cox
2021-12-06go/types, types2: unexport NewTypeListRobert Findley
2021-11-29go/types: better error message for missing ~ in constraintRobert Griesemer
2021-11-18go/types: use "implements" rather than "satisfies" in error messagesRobert Findley
2021-11-18go/types: remove unneccesary tests in implements and lookupRobert Findley
2021-11-18go/types: implement Checker.implementsRobert Findley
2021-11-16go/types: remove asTypeParam and simplify some codeRobert Findley