summaryrefslogtreecommitdiff
path: root/src/go/types/index.go
Commit message (Expand)AuthorAgeFilesLines
* go/types, types2: reverse inference of function type argumentsRobert Griesemer2023-03-291-5/+5
* all: fix some commentscui fliter2023-01-241-1/+1
* go/types, types2: remove need for invalidAST prefix in error callsRobert Griesemer2022-10-121-2/+2
* go/types: add errorcalls_test, apply it, and fix errorf call sitesRobert Griesemer2022-10-111-3/+3
* go/types: replace invalid(AST|Arg|Op) with errorf and message prefixRobert Griesemer2022-10-111-12/+12
* go/types: use internal/types/errors instead of local error codesRobert Griesemer2022-10-101-13/+14
* all: remove trailing blank doc comment linesRuss Cox2022-04-011-1/+0
* go/types, types2: better index-out-of-bounds error message (cleanup)Robert Griesemer2022-03-291-1/+1
* go/types, types2: report an error for x.sel where x is a built-inRobert Griesemer2022-02-261-0/+1
* go/types, types2: rename structuralType/String to coreType/StringRobert Griesemer2022-02-091-2/+2
* go/types: better position for invalid slice indices errorRobert Findley2021-11-181-3/+7
* go/types: better position for "3-index slice of string" errorRobert Findley2021-11-181-1/+5
* go/types: allow slicing for operands with []byte|string type setsRobert Findley2021-11-181-2/+2
* go/types: remove tparamIsIface flag and corresponding dead codeRobert Findley2021-11-181-86/+3
* go/types: underlying type of a type parameter is its constraint interfaceRobert Findley2021-11-171-0/+86
* go/types: refer to structural rather than single underlying type in errorsRobert Findley2021-11-161-1/+1
* go/types: rename structure to structuralTypeRobert Findley2021-11-161-1/+1
* go/types: remove most asX converters (cleanup)Robert Findley2021-11-101-4/+4
* go/types: rename is_X predicates back to isX (step 2 of 2)Robert Findley2021-11-091-3/+3
* go/types: rename isX predicates to allX, add simple is_X (step 1 of 2)Robert Findley2021-11-091-4/+5
* go/types: fix indexing of generic typesRobert Findley2021-11-031-42/+45
* go/types: implement singleType and structure (type)Robert Findley2021-11-021-1/+1
* go/types: clean up asT converters (step 2 of 2)Robert Findley2021-11-021-3/+3
* go/types: clean up asT converters (step 1 of 2)Robert Findley2021-11-021-3/+3
* go/types: slice exprs to accept type sets with single underlying typesRobert Findley2021-10-291-8/+13
* go/types: implement generic slice expressionsRobert Griesemer2021-10-051-6/+1
* go/types: spell out 'Type' in type parameter APIsRobert Findley2021-09-081-1/+1
* go/types: systematic detection of missing instantiationRobert Findley2021-09-021-1/+9
* [dev.typeparams] go/types: set type parameter indices when they are boundRob Findley2021-07-221-1/+1
* [dev.typeparams] go/types: replace optype() with under() in various cases (cl...Rob Findley2021-07-171-3/+3
* [dev.typeparams] go/types: clean up index expr implementation for type parame...Rob Findley2021-07-171-71/+64
* [dev.typeparams] go/types: remove typeparams wrappers and aliasesRob Findley2021-07-161-2/+2
* [dev.typeparams] go/*: switch from ListExpr to MultiIndexExprRob Findley2021-07-161-22/+15
* [dev.typeparams] go/types: replace Sum type with Union typeRob Findley2021-06-171-9/+9
* go/types: improve error messages for unexpected ListExprsRob Findley2021-04-291-5/+37
* go/types: split out function instantiation from index exprRob Findley2021-04-281-10/+14
* go/types: factor out index/slice expr handlingRob Findley2021-04-271-0/+410