aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/check.go
AgeCommit message (Expand)Author
2023-07-07go/types, types2: do not mutate arguments in NewCheckerRobert Findley
2023-05-03go/types, types2: combine version check with version error reportingRobert Griesemer
2023-04-20go/types: fix version downgrade bug without Config.GoVersionRuss Cox
2023-04-14go/types, cmd/compile/internal/types2: use per-file Go versionRuss Cox
2023-03-24go/types, types2: adjust Checker.recordCommaOkTypes signatureRobert Griesemer
2023-01-17go/types: use nopos instead of token.NoPos to match types2Robert Griesemer
2022-10-10cmd/compile/internal/types2: use internal/types/errors instead of local error...Robert Griesemer
2022-09-29cmd/compile: keep typecheck results in syntax treeKeith Randall
2022-09-13types2: provide error codes to error reportingRobert Griesemer
2022-06-06go/types, types2: use type nest to detect type cycles (fix validType)Robert Griesemer
2022-03-21go/types, types2: improved tracing output throughout (debugging support)Robert Griesemer
2022-02-23go/types, types2: generalize cleanup phase after type checkingRobert Griesemer
2022-02-08go/types, types2: AssertableTo is undefined for generalized interfacesRobert Griesemer
2022-01-24go/types, types2: report an error when using a broken aliasRobert Griesemer
2022-01-24go/types, types2: use a map instead of a field for marking in validTypeRobert Griesemer
2021-12-15cmd/compile/internal/types2: externalize union type setsRobert Griesemer
2021-12-06go/types, types2: unexport NewTypeListRobert Findley
2021-11-17cmd/compile/internal/types2: rename types.context to types.environmentRobert Griesemer
2021-11-17cmd/compile/internal/types2: don't set a Config.Context if none is providedRobert Griesemer
2021-11-10cmd/compile/internal/types2: disallow type cycles through type parameter listsRobert Griesemer
2021-11-04cmd/compile/internal/types2: rename is_X predicates back to isX (step 2 of 2)Robert Griesemer
2021-11-04cmd/compile/internal/types2: rename isX predicates to allX, add simple is_X (...Robert Griesemer
2021-11-03cmd/compile/internal/types2: port nomono check from go/typesMatthew Dempsky
2021-10-19cmd/compile/internal/types2: ensure named types are expanded after type-checkingRobert Griesemer
2021-10-15cmd/compile/internal/types2: add debugging support for delayed actionsRobert Griesemer
2021-10-08cmd/compile/internal/types2: use an identifier map rather than isubst for rec...Robert Griesemer
2021-09-29go/types, types2: rename Environment to ContextRobert Findley
2021-09-28cmd/compile/internal/types2: record all instances, not just inferred instancesRobert Griesemer
2021-09-08go/types, types2: add Environment to ConfigRobert Griesemer
2021-09-08cmd/compile/internal/types2: implement deduplication of instances using the E...Robert Griesemer
2021-08-24cmd/compile/internal/types2: use TypeList in the Inferred structRobert Griesemer
2021-07-28[dev.typeparams] cmd/compile/internal/types2: merge instance and Named to eli...Rob Findley
2021-06-30[dev.typeparams] cmd/compile/internal/types2: move embedding positions from C...Robert Griesemer
2021-06-04[dev.typeparams] cmd/compile: lazy import resolution for types2Matthew Dempsky
2021-05-14[dev.typeparams] cmd/compile/internal/types2: use Checker-provided type param...Robert Griesemer
2021-04-28types2: disambiguate package qualifiers in error messagesRobert Griesemer
2021-04-23cmd/compile/internal/types2: add unsafe.Add and unsafe.SliceMatthew Dempsky
2021-04-14cmd/compile/internal/types2: use a global atomic counter for type parameter idsRobert Griesemer
2021-04-10cmd/compile/internal/types2: split out function instantiation from index exprRobert Griesemer
2021-04-07cmd/compile/internal/types2: remove Config.AcceptMethodTypeParams flagRobert Griesemer
2021-03-25cmd/compile/internal/types2: review of check.goRobert Griesemer
2021-03-18cmd/compile/internal/types2: delay recording types of untyped operands when c...Robert Griesemer
2021-03-13cmd/compile/internal/types2: simplify error reporting API (cleanup)Robert Griesemer
2021-03-10cmd/compile/internal/types2: remove concept of finalsRobert Griesemer
2021-02-04[dev.typeparams] cmd/compile/internal/types2: add support for language versio...Robert Griesemer
2021-01-27[dev.typeparams] cmd/compile/internal/types2: report unused packages in sourc...Robert Griesemer
2020-12-07[dev.typeparams] cmd/compile/internal/types2: correct error position for inhe...Robert Griesemer
2020-10-21[dev.typeparams] cmd/compile/internal/importer, types2: initial check-in of t...Robert Griesemer