aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/check.go
AgeCommit message (Expand)Author
2024-04-18go/types, types2: use correct predicate when asserting comma-ok typesRobert Griesemer
2024-04-18go/types, types2: use types2.Config flag to control Alias node creationRobert Griesemer
2024-04-17Revert "go/types, types2: track gotypesalias non-default behavior"Lasse Folger
2024-04-16go/types, types2: track gotypesalias non-default behaviorRobert Griesemer
2024-04-16types2: flip the default value of GODEBUG=gotypesalias=1Robert Griesemer
2024-04-03go/types: don't fail fast on Go version errorsAlan Donovan
2024-03-18go/types, types2: quote user-supplied names in error messagesRobert Griesemer
2024-03-14go/types, types2: don't do version checks for embedded types of imported inte...Robert Griesemer
2024-02-29go/types, types2: disable incorrect optimization in type validity checkRobert Griesemer
2024-02-22go/types, types2: remove unreachable func (minor cleanup)Robert Griesemer
2023-11-15go/types, types2: remove local version processing in favor of go/versionRobert Griesemer
2023-11-14cmd/compile/internal/types2: mark gotypesalias as undocumentedCuong Manh Le
2023-11-13go/types, types2: implement Alias proposal (export API)Robert Griesemer
2023-11-10cmd/compile: update types2.Info.FileVersions API to match go/typesRobert Griesemer
2023-11-09go/types, types2: introduce _Alias type nodeRobert Griesemer
2023-09-15go/types, types2: introduce `isValid` predicate and use throughoutRobert Griesemer
2023-08-03go/types, types2: collect per-file Go version in Info.FileVersionsRobert Griesemer
2023-08-02go/types, types2: move posVers field into group of package-specific fields (c...Robert Griesemer
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