aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/infer.go
AgeCommit message (Expand)Author
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: merge Instantiate and InstantiateLazyRob Findley
2021-08-06[dev.typeparams] cmd/compile/internal/types2: minor cleanup of writeTParamListRobert 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-28[dev.typeparams] cmd/compile/internal/types2: merge instance and Named to eli...Rob Findley
2021-07-22[dev.typeparams] cmd/compile/internal/types2: adjust unsafe.Alignof/Offsetof/...Robert Griesemer
2021-06-30[dev.typeparams] cmd/compile/internal/types2: remove unused *Checker argument...Robert Griesemer
2021-06-30[dev.typeparams] cmd/compile/internal/types2: introduce type set abstraction ...Robert Griesemer
2021-06-02[dev.typeparams] cmd/compile/internal/types2: eliminate need for unpack and a...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
2021-05-07cmd/compile/internal/types2: add test case for issue 45985Robert Griesemer
2021-04-21cmd/compile/internal/types2: fix type inferenceRobert Griesemer
2021-04-07cmd/compile/internal/types2: combine two loops (cleanup of TODO)Robert Griesemer
2021-04-07cmd/compile/internal/types2: remove Config.InferFromConstraints flagRobert Griesemer
2021-04-07cmd/compile/internal/types2: combine all type inference in a single functionRobert Griesemer
2021-02-18[dev.typeparams] cmd/compile/internal/types2: remove Type.Under method in fav...Robert Griesemer
2021-02-12[dev.typeparams] cmd/compile/internal/types: review of infer.goRobert Griesemer
2020-10-27[dev.typeparams] cmd/compile: enable type-checking of generic codeRobert Griesemer
2020-10-21[dev.typeparams] cmd/compile/internal/importer, types2: initial check-in of t...Robert Griesemer
7apu2bq3rhoylwmucxizk54afw5jyda7pho4j5zdcqpwkufke7zdzwad.onion