aboutsummaryrefslogtreecommitdiff
path: root/src/go/types/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-04-03go/types: include link to source in generated filesAlan Donovan
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
2023-01-20go/types: add a test that generated files match types2Robert Findley
2023-01-17go/types: generate more files from types2 sourcesRobert Griesemer
2023-01-17go/types: use nopos instead of token.NoPos to match types2Robert 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-14go/types: externalize union type setsRobert Findley
2021-11-22go/types, types2: substitute for type parameters in signatures whenRobert Findley
2021-11-18go/types: remove tparamIsIface flag and corresponding dead codeRobert Findley
2021-11-17go/types: underlying type of a type parameter is its constraint interfaceRobert Findley
2021-11-17go/types: make sure we are safe for nil in underIsRobert Griesemer
2021-11-16go/types: remove asTypeParam and simplify some codeRobert Findley
2021-11-16go/types: rename structure to structuralTypeRobert Findley
2021-11-12go/types: use Identical to verify type identity in the Context mapRobert Findley
2021-11-10go/types: remove most asX converters (cleanup)Robert Findley
2021-11-09go/types: minor cleanups in predicates.goRobert Findley
2021-11-09go/types: rename is_X predicates back to isX (step 2 of 2)Robert Findley
2021-11-09go/types: rename isX predicates to allX, add simple is_X (step 1 of 2)Robert Findley
2021-11-03go/types: fix conversions of constants to type parameterRobert Findley
2021-11-02go/types: rename isNamed predicate to hasNameRobert Findley
2021-11-02go/types: clean up asT converters (step 2 of 2)Robert Findley
2021-11-02go/types: clean up asT converters (step 1 of 2)Robert Findley
2021-10-28go/types, types2, go/ast, go/parser: remove support for type listsRobert Findley
2021-09-15go/types: implement Identical for *Union typesRobert Findley
2021-09-12go/types: remove some unnecessary loading/expansion of Named typesRobert Findley
2021-09-08go/types: spell out 'Type' in type parameter APIsRobert Findley
2021-08-25go/types: implement NewTypeList and use it instead of composite literalsRobert Griesemer