summaryrefslogtreecommitdiff
path: root/src/go/types/typeparam.go
Commit message (Expand)AuthorAgeFilesLines
* go/types: add a test that generated files match types2Robert Findley2023-01-201-1/+1
* go/types: generate various source files from types2 filesRobert Griesemer2023-01-171-6/+6
* go/types, types2: clarify documentation with respect to generic typesRobert Findley2022-03-091-3/+6
* go/types, types2: implement adjCoreType using TypeParam.isRobert Griesemer2022-02-241-10/+0
* go/types, types2: generalize cleanup phase after type checkingRobert Griesemer2022-02-231-5/+7
* go/types, types2: ensure we have an interface before checking constraintsRobert Griesemer2022-02-071-3/+3
* go/types: ensure that constructed type parameters are immutableRobert Findley2021-11-291-2/+16
* go/types: remove tparamIsIface flag and corresponding dead codeRobert Findley2021-11-181-15/+2
* go/types: set tparamsIsIface to trueRobert Findley2021-11-171-1/+1
* go/types: underlying type of a type parameter is its constraint interfaceRobert Findley2021-11-171-2/+21
* go/types: implement singleType and structure (type)Robert Findley2021-11-021-3/+3
* go/types: clarify is/underIs semantics and implementationRobert Findley2021-11-021-0/+11
* go/types: export TypeParam.Index and remove TypeParam._SetIdRobert Findley2021-10-121-10/+3
* go/types: mark implicit interfaces as suchRobert Findley2021-10-111-0/+1
* go/types: accept constraint literals with elided interfacesRobert Findley2021-10-111-14/+35
* cmd/compile/internal/types2: move NewTypeParam off of CheckerRobert Griesemer2021-09-081-1/+1
* go/types: spell out 'Type' in type parameter APIsRobert Findley2021-09-081-1/+1
* go/types: move NewTypeParam off of CheckerRobert Findley2021-09-081-3/+7
* go/types: use a TypeList type to hold type argumentsRobert Findley2021-08-231-34/+0
* go/types: use []*TypeParam rather than []*TypeName type param listsRobert Findley2021-08-231-6/+5
* go/types: add the TypeParam.Obj methodRobert Findley2021-08-231-0/+3
* go/types: rename TypeParams to TParamListRobert Findley2021-08-161-7/+7
* go/types: cleanup panic callsRobert Findley2021-08-161-2/+2
* go/types: implement type sets with term listsRobert Findley2021-08-161-9/+18
* [dev.typeparams] go/types: (TypeParam) SetBound -> SetConstraintRob Findley2021-08-041-14/+11
* [dev.typeparams] go/types: implement TypeParam.ConstraintRob Findley2021-08-041-13/+21
* [dev.typeparams] go/types,cmd/compile/internal/types2: fix TypeParams.At docsMatthew Dempsky2021-07-291-1/+0
* [dev.typeparams] go/types: set type parameter indices when they are boundRob Findley2021-07-221-4/+46
* [dev.typeparams] go/types: merge instance and Named to eliminate sanitizationRob Findley2021-07-221-1/+2
* [dev.typeparams] go/types: update TypeParam APIs to match types2Rob Findley2021-07-191-10/+9
* [dev.typeparams] go/types: add some missing APIs for the importerRob Findley2021-07-191-1/+12
* [dev.typeparams] go/types: clean up index expr implementation for type parame...Rob Findley2021-07-171-0/+7
* [dev.typeparams] go/types: move (remaining) type decls into their own files (...Rob Findley2021-07-161-0/+72