aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/predicates.go
AgeCommit message (Expand)Author
2024-04-25go/types, types2: simplify Default functionRobert Griesemer
2024-04-25go.types, types2: factor out isUntypedNumeric predicateRobert Griesemer
2024-02-22go/types, types2: remove unreachable func (minor cleanup)Robert Griesemer
2024-01-26go/types, types2: use existing case-insensitive lookup (remove TODO)Robert Griesemer
2023-11-13go/types, types2: implement Alias proposal (export API)Robert Griesemer
2023-11-09go/types, types2: introduce _Alias type nodeRobert Griesemer
2023-10-03go/types, types2: don't implicitly modify an argument function's typeRobert Griesemer
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-07-18all: fix typosJes Cok
2023-05-05go/types, types2: factor out maximum type computationRobert Griesemer
2023-03-09go/types, types2: clean up defined type identity check/unificationRobert Griesemer
2023-02-25go/types, types2: add isTypeLit predicateRobert Griesemer
2023-02-02go/types, types2: enable new type inferenceRobert Griesemer
2023-02-02go/types, types2: use a comparer struct to control the identical predicateRobert Griesemer
2022-11-21go/types, types2: report empty type sets in operand descriptionsRobert Griesemer
2022-06-24go/types, types2: better errors for == when type sets are emptyRobert Griesemer
2022-06-06go/types, types2: ensure that named types never expand infinitelyRobert Findley
2022-06-06go/types, types2: store Named instance information separatelyRobert Findley
2022-03-21go/types, types2: factor out isInterface(x) && !isTypeParam(x) (cleanup)Robert Griesemer
2022-02-23go/types, types2: add "dynamic" flag to comparable predicateRobert Griesemer
2022-02-09go/types, types2: rename structuralType/String to coreType/StringRobert Griesemer
2022-02-04go/types, types2: better error messages for comparisonsRobert Griesemer
2022-01-31go/types, types2: fix implements and identical predicatesRobert Griesemer
2022-01-24go/types, types2: pass the seen map through _TypeSet.IsComparableRobert Findley
2021-12-15cmd/compile/internal/types2: externalize union type setsRobert Griesemer
2021-11-22go/types, types2: substitute for type parameters in signatures whenRobert Findley
2021-11-16cmd/compile/internal/types2: use Identical to verify type identity in the Con...Robert Griesemer
2021-11-13cmd/compile/internal/types2: remove tparamIsIface flag and corresponding dead...Robert Griesemer
2021-11-13cmd/compile/internal/types2: underlying type of a type parameter is its const...Robert Griesemer
2021-11-12cmd/compile/internal/types2: make sure we are safe for nil in underIsRobert Griesemer
2021-11-12cmd/compile/internal/types2: remove asTypeParam and simplify some codeRobert Griesemer
2021-11-10cmd/compile/internal/types2: rename structure to structuralTypeRobert Griesemer
2021-11-09cmd/compile/internal/types2: roll-forward removal of asX convertersRobert Findley
2021-11-08cmd/compile: Revert "cmd/compile/internal/types2: remove most asX converters ...Cuong Manh Le
2021-11-08cmd/compile/internal/types2: remove most asX converters (cleanup)Robert Griesemer
2021-11-04cmd/compile/internal/types2: minor cleanups in predicates.goRobert Griesemer
2021-11-04cmd/compile/internal/types2: rename is_X predicates back to isX (step 2 of 2)Robert Griesemer
2021-11-04cmd/compile/internal/types2: rename isX predicates to allX, add simple is_X (...Robert Griesemer
2021-11-02cmd/compile/internal/types2: fix conversions of constants to type parameterRobert Griesemer
2021-10-28go/types, types2, go/ast, go/parser: remove support for type listsRobert Findley
2021-10-27cmd/compile/internal/types2: rename isNamed predicate to hasNameRobert Griesemer
2021-10-27cmd/compile/internal/types2: clean up asT converters (step 2 of 2)Robert Griesemer
2021-10-27cmd/compile/internal/types2: clean up asT converters (step 1 of 2)Robert Griesemer
2021-09-15cmd/compile/internal/types2: implement Identical for *Union typesRobert Griesemer
2021-09-15cmd/compile/internal/types2: remove some unnecessary loading/expansion of Nam...Robert Griesemer
2021-09-08cmd/compile/internal/types2: spell out 'Type' in type parameter APIsRobert 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: define Identical for instancesRob Findley