summaryrefslogtreecommitdiff
path: root/src/go/types
Commit message (Expand)AuthorAgeFilesLines
* cmd/compile: enable more lenient type inference for untyped argumentsRobert Griesemer2023-05-181-0/+1
* go/types, types2: permit partially instantiated functions as function argumentsRobert Griesemer2023-05-163-51/+148
* go/types, types2: remove superfluous argument test in Checker.argumentsRobert Griesemer2023-05-161-11/+0
* go/types: minor refactoring of missingMethod following CL 494615Rob Findley2023-05-121-4/+7
* go/types, types2: call recordInstance in instantiateSignatureRobert Griesemer2023-05-121-19/+12
* go/types, types2: be sure to type-check wrong methods in missingMethodRob Findley2023-05-121-0/+4
* go/types, types2: move xlist next to targs in Checker.arguments signatureRobert Griesemer2023-05-102-6/+6
* go/types, types2: control type inference in Checker.funcInst via infer argumentRobert Griesemer2023-05-102-12/+30
* go/types, types2: explicitly look for nil type arguments in inferRobert Griesemer2023-05-101-7/+13
* all: fix a lot of commentscui fliter2023-05-103-3/+3
* go/types, types2: infer minimum default type for untyped argumentsRobert Griesemer2023-05-084-25/+70
* go/types, types2: move functions for untyped constants into const.goRobert Griesemer2023-05-083-293/+309
* go/types, types2: remove genericMultiExpr (inline it in genericExprList)Robert Griesemer2023-05-082-31/+30
* go/types, types2: factor out maximum type computationRobert Griesemer2023-05-052-9/+24
* go/types, types2: better error message for bad assignmentRobert Griesemer2023-05-051-1/+1
* go/types, types2: exclude untyped nil arguments early in type inferenceRobert Griesemer2023-05-052-10/+8
* go/types, types2: remove Config.EnableReverseTypeInference flagRobert Griesemer2023-05-047-19/+11
* go/types, types2: consider generic functions in inference simplify stepRobert Griesemer2023-05-041-0/+20
* go/types, types2: rename generic function argumentsRobert Griesemer2023-05-042-2/+16
* go/types, types2: make Checker.renameTParams work on any typeRobert Griesemer2023-05-042-9/+14
* go/types, types2: rename allowVersionf to verifyVersionfRobert Griesemer2023-05-038-21/+21
* go/types, types2: use version data type instead of major,minor intsRobert Griesemer2023-05-0311-92/+108
* go/types, types2: combine version check with version error reportingRobert Griesemer2023-05-0310-69/+49
* cmd/compile: enable reverse type inferenceRobert Griesemer2023-05-031-1/+6
* go/types, types2: implement reverse type inference for function argumentsRobert Griesemer2023-05-036-41/+178
* go/types, types2: isParameterized must be able to handle tuplesRobert Griesemer2023-05-012-5/+9
* go/types, types2: remove parse (we only need mustParse for tests)Robert Griesemer2023-04-281-19/+5
* go/types, types2: extract package name from test sources automaticallyRobert Griesemer2023-04-2813-113/+113
* go/types, types2: call mustParse when using mustTypecheckRobert Griesemer2023-04-281-1/+8
* go/types, types2: abort type unification if no progress is madeRobert Griesemer2023-04-211-1/+1
* go/types: fix version downgrade bug without Config.GoVersionRuss Cox2023-04-202-2/+5
* go/types, types2: be deliberate with Checker.use in Checker.assignVarRobert Griesemer2023-04-191-1/+2
* go/types, types2: don't panic for invalid assignments of comma-ok expressionsRobert Griesemer2023-04-191-6/+16
* go/types, types2: consistently set x.mode in Checker.assignmentRobert Griesemer2023-04-181-0/+3
* go/types, types2: factor out type parameter renaming from type inferenceRobert Griesemer2023-04-172-10/+16
* go/types, types2: (slightly) refactor tpWalker.isParameterized (cleanup)Robert Griesemer2023-04-171-29/+25
* go/types,types2: fix panic in reverse type inference when -lang<go1.18Rob Findley2023-04-141-1/+7
* go/types, cmd/compile/internal/types2: use per-file Go versionRuss Cox2023-04-1415-47/+124
* go/types,types2: add a test for const initializer panicRob Findley2023-04-131-0/+28
* Revert "go/types, types2: remove unnecessary tests for x.typ == Typ[Invalid]"Robert Findley2023-04-131-2/+6
* go/types, types2: factor out inference cycle detector (cleanup)Robert Griesemer2023-04-131-8/+19
* go/types, types2: generalize tparamIndex to arbitrary type parameter listsRobert Griesemer2023-04-131-10/+6
* all: add wasip1 supportJohan Brandhorst-Satzkorn2023-04-111-1/+1
* go/types, types2: adjust Check.funcInst signatureRobert Griesemer2023-03-292-18/+14
* go/types, types2: slightly tighter checks in Checker.useRobert Griesemer2023-03-291-1/+1
* go/types, types2: reverse inference of function type argumentsRobert Griesemer2023-03-2911-81/+194
* go/types, types2: don't report assignment mismatch errors if there are other ...Robert Griesemer2023-03-282-21/+29
* go/types, types2: simplify Checker.exprListRobert Griesemer2023-03-283-5/+5
* go/types, types2: remove return values from Checker.assignVar/initVarRobert Griesemer2023-03-281-19/+10
* go/types, types2: refactor initVarsRobert Griesemer2023-03-281-45/+88