aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/union.go
AgeCommit message (Expand)Author
2023-09-15go/types, types2: introduce `isValid` predicate and use throughoutRobert Griesemer
2023-01-20go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup)Robert Griesemer
2022-10-10cmd/compile/internal/types2: use internal/types/errors instead of local error...Robert Griesemer
2022-09-13types2: provide error codes to error reportingRobert Griesemer
2022-04-04go/types, types2: fix overlap test for union termlistRobert Griesemer
2022-03-31go/types, types2: better error message for invalid type parameter termRobert Griesemer
2022-03-21go/types, types2: improved tracing output throughout (debugging support)Robert Griesemer
2022-03-07go/types, types2: correctly include comparable in type set intersectionRobert Griesemer
2021-12-17cmd/compile/internal/types2: better error message when using comparable in unionRobert Griesemer
2021-12-15cmd/compile/internal/types2: record types for union subexpressionsRobert Griesemer
2021-12-15cmd/compile/internal/types2: externalize union type setsRobert Griesemer
2021-12-14go/types, types2: record (top-level) union typesRobert Griesemer
2021-11-12cmd/compile/internal/types2: remove asTypeParam and simplify some codeRobert Griesemer
2021-10-27cmd/compile/internal/types2: remove unused position computation (cleanup)Robert Griesemer
2021-09-24cmd/compile/internal/types2: delay union element checksRobert Griesemer
2021-08-31go/types, types2: union terms must be instantiatedRobert Griesemer
2021-08-24cmd/compile/internal/types2: don't export TypeSetRobert Griesemer
2021-08-10[dev.typeparams] cmd/compile/internal/types2: expand is only required for *Na...Robert Griesemer
2021-08-06[dev.typeparams] cmd/compile/internal/types2: limit termlist lengthsRobert Griesemer
2021-08-06[dev.typeparams] cmd/compile: change types2.Union API to accept a list of TermsRobert Griesemer
2021-08-05[dev.typeparams] cmd/compile/internal/types2: cleanup panic callsRobert Griesemer
2021-08-05[dev.typeparams] cmd/compile/internal/types2: implement type sets with term l...Robert Griesemer
2021-07-29[dev.typeparams] cmd/compile/internal/types2: use type terms to represent unionsRobert Griesemer
2021-07-14[dev.typeparams] cmd/compile/internal/types2: embedding stand-alone type para...Robert Griesemer
2021-07-07[dev.typeparams] cmd/compile/internal/types2: clean up index expr implementat...Robert Griesemer
2021-06-03[dev.typeparams] cmd/compile/internal/types2: disallow ~T where T is a define...Robert Griesemer
2021-06-02[dev.typeparams] cmd/compile/internal/types2: clean up type set/union interse...Robert Griesemer
2021-06-02[dev.typeparams] cmd/compile/internal/types2: replace Sum type with Union typeRobert Griesemer
2021-05-24[dev.typeparams] cmd/compile/internal/types2: accept embedded interface elementsRobert Griesemer
7apu2bq3rhoylwmucxizk54afw5jyda7pho4j5zdcqpwkufke7zdzwad.onion