aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2
AgeCommit message (Expand)Author
2022-01-12go/types, types2: fix tracing output for type and expr listsRobert Griesemer
2022-01-12go/types, types2: prevent unification from recursing endlesslyRobert Griesemer
2022-01-12go/types, types2: make function type inference argument-order independentRobert Griesemer
2022-01-12go/types, types2: do not run CTI before FTIRobert Griesemer
2022-01-12cmd/compile/types2, go/types: add position for "have" in failed interface sat...Emmanuel T Odeke
2022-01-11go/types, types2: mention type decl scopes in Info.Scopes documentationRobert Findley
2022-01-10go/types, types2: refer to type parameter if so for interface pointer errorsRobert Griesemer
2022-01-10go/types, types2: better error message for type parameter field accessRobert Griesemer
2022-01-10go/types, types2: better error message when using *interface instead of inter...Robert Griesemer
2022-01-09go/types, types2: better error message for invalid == on type parametersRobert Griesemer
2022-01-07cmd/compile: accept string|[]byte-constrained 2nd argument in appendRobert Griesemer
2022-01-07go/types, types2: disallow multiple blank type parametersRobert Griesemer
2022-01-06cmd/compile: report type parameter error for methods only onceRobert Griesemer
2022-01-06go/types, types2: implement field access for struct structural constraintsRobert Griesemer
2022-01-06go/types, types2: remove unused code in lookupFieldOrMethodRobert Griesemer
2022-01-06go/types, types2: ensure that signature type bounds are interfacesRobert Griesemer
2022-01-06go/types, types2: eagerly check that constraints are not type paramsRobert Findley
2022-01-06cmd/compile/internal/types2: better error message for invalid range clauseRobert Griesemer
2021-12-20all: fix spelling errors found by misspellDan Kortschak
2021-12-20go/types, types2: delay "does not satisfy comparable" error until neededRobert Griesemer
2021-12-17go/types, types2: use compiler error message for undefined operatorsRobert 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-15all: fix typo in commentichxxx
2021-12-14go/types, types2: record (top-level) union typesRobert Griesemer
2021-12-09cmd/compile: fix type error reported on the wrong lineJason7602
2021-12-08cmd/compile/internal/types2: sort to reduce computational complexity of initO...Robert Findley
2021-12-06go/types, types2: unexport NewTypeListRobert Findley
2021-12-03test: re-enable a bunch of tests with types2Dan Scales
2021-12-02cmd/compile: report channel size errors correctly for -G=3Dan Scales
2021-11-29go/types, types2: handle case of no specific target types in conversionRobert Findley
2021-11-29go/types: ensure that constructed type parameters are immutableRobert Findley
2021-11-29go/types: consider structural restrictions in ImplementsRobert Findley
2021-11-24cmd/compile/internal/types2: better error message for missing ~ in constraintRobert Griesemer
2021-11-24cmd/compile/internal/types2: better error position for instantiation failureRobert Griesemer
2021-11-24cmd/compile/internal/types2: produce empty type set for invalid ~TRobert Griesemer
2021-11-24cmd/compile/internal/types2: report types for mismatched call and return stat...Robert Griesemer
2021-11-24go/types: print "nil" rather than "untyped nil"Robert Griesemer
2021-11-22cmd/compile/internal/types2: print "nil" rather than "untyped nil"Robert Griesemer
2021-11-22go/types, types2: substitute for type parameters in signatures whenRobert Findley
2021-11-22go/types,types2: use allInteger to check type for shifted operandzhouguangyuan
2021-11-17go/types: check for non-negative index in tparamIndexRobert Findley
2021-11-17go/types, types2: complete methods on pointer receivers in missingMethodRobert Findley
2021-11-17cmd/compile/internal/types2: return an error from Instantiate on incorrect le...Robert Griesemer
2021-11-17cmd/compile/internal/types2: add a test for Context deduplication of hash col...Robert Griesemer
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-17cmd/compile/internal/types2: when type hashing, canonicalize interfacesRobert Griesemer
2021-11-17cmd/compile/internal/types2: when type hashing, use placeholders for type par...Robert Griesemer