aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/typeparam.go
AgeCommit message (Expand)Author
2023-11-17all: make more use of the new atomic integer typesDaniel Martí
2023-09-15go/types, types2: introduce `isValid` predicate and use throughoutRobert Griesemer
2023-08-30go/types, types2: use asNamed(t) instead of t.(*Named) type assertionsRobert Griesemer
2023-01-17go/types, cmd/compile/internal/types2: minor adjustments (cleanups)Robert Griesemer
2022-03-09go/types, types2: clarify documentation with respect to generic typesRobert Findley
2022-02-24go/types, types2: implement adjCoreType using TypeParam.isRobert Griesemer
2022-02-23go/types, types2: generalize cleanup phase after type checkingRobert Griesemer
2022-02-07go/types, types2: ensure we have an interface before checking constraintsRobert Griesemer
2021-11-29go/types: ensure that constructed type parameters are immutableRobert Findley
2021-11-13cmd/compile/internal/types2: remove tparamIsIface flag and corresponding dead...Robert Griesemer
2021-11-13cmd/compile/internal/types2: set tparamsIsIface to trueRobert Griesemer
2021-11-13cmd/compile/internal/types2: underlying type of a type parameter is its const...Robert Griesemer
2021-10-27cmd/compile/internal/types2: implement singleType and structure (type)Robert Griesemer
2021-10-27cmd/compile/internal/types2: clarify is/underIs semantics and implementationRobert Griesemer
2021-10-12go/types: export TypeParam.Index and remove TypeParam._SetIdRobert Findley
2021-10-01cmd/compile: remove typeparam subscripts, use func/type prefix for uniquenessDan Scales
2021-10-01cmd/compile/internal/types2: mark implicit interfaces as suchRobert Griesemer
2021-10-01cmd/compile/internal/types2: accept constraint literals with elided interfacesRobert Griesemer
2021-09-08cmd/compile/internal/types2: spell out 'Type' in type parameter APIsRobert Griesemer
2021-09-08cmd/compile/internal/types2: move NewTypeParam off of CheckerRobert Griesemer
2021-08-24cmd/compile/internal/types2: use a TypeList type to hold type argumentsRobert Griesemer
2021-08-24cmd/compile/internal/types2: use []*TypeParam rather than []*TypeName for typ...Robert Griesemer
2021-08-14cmd/compile/internal/types2: rename TypeParams to TParamListRobert Findley
2021-08-11[dev.typeparams] cmd/compile/internal/types2: remove unused TypeParam.Bound m...Robert 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] go/types,cmd/compile/internal/types2: fix TypeParams.At docsMatthew Dempsky
2021-07-29[dev.typeparams] cmd/compile/internal/types2: (TypeParam) SetBound -> SetCons...Robert Griesemer
2021-07-29[dev.typeparams] cmd/compile: set type parameter indices when they are boundRobert Griesemer
2021-07-28[dev.typeparams] cmd/compile/internal/types2: merge instance and Named to eli...Rob Findley
2021-07-26[dev.typeparams] cmd/compile/internal/types2: implement TypeParam.ConstraintRobert Griesemer
2021-07-07[dev.typeparams] cmd/compile/internal/types2: clean up index expr implementat...Robert Griesemer
2021-07-01[dev.typeparams] cmd/compile/internal/types2: move (remaining) type decls int...Robert Griesemer
7apu2bq3rhoylwmucxizk54afw5jyda7pho4j5zdcqpwkufke7zdzwad.onion