aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/predicates.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: define Identical for instancesRob Findley
2021-08-14cmd/compile/internal/types2: merge Instantiate and InstantiateLazyRob Findley
2021-08-10[dev.typeparams] cmd/compile/internal/types2: expand is only required for *Na...Robert Griesemer
2021-08-05[dev.typeparams] cmd/compile/internal/types2: implement type sets with term l...Robert Griesemer
2021-08-02[dev.typeparams] cmd/compile/internal/types2: move instance.go contents into ...Robert Griesemer
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-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-27[dev.typeparams] cmd/compile/internal/types2: use comparable bit rather than ...Robert Griesemer
2021-07-14[dev.typeparams] cmd/compile/internal/types2: interface identity must conside...Robert Griesemer
2021-07-07[dev.typeparams] cmd/compile/internal/types2: replace optype() with under() i...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-04[dev.typeparams] cmd/compile: lazy import resolution for types2Matthew Dempsky
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
2021-02-18[dev.typeparams] cmd/compile/internal/types2: remove Type.Under method in fav...Robert Griesemer
2021-02-18[dev.typeparams] cmd/compile/internal/types2: replace Named, TypeParam method...Robert Griesemer
2021-02-18[dev.typeparams] cmd/compile/internal/types2: use converter functions rather ...Robert Griesemer
2021-02-08[dev.typeparams] cmd/compile/internal/types2: conversions to type parameters ...Robert Griesemer
2021-01-23[dev.typeparams] cmd/compile/internal/types2: factor out sorting of methodsRobert Griesemer
2021-01-19[dev.typeparams] cmd/compile/internal/types: minor fixes/cleanups around testingRobert Griesemer
2020-12-16[dev.typeparams] cmd/compile/internal/types2: review of predicates.goRobert Griesemer
2020-12-09[dev.typeparams] cmd/compile/internal/types2: avoid endless recursion in Comp...Robert Griesemer
2020-10-21[dev.typeparams] cmd/compile/internal/importer, types2: initial check-in of t...Robert Griesemer