summaryrefslogtreecommitdiff
path: root/src/cmd/compile/internal/types2/call.go
Commit message (Expand)AuthorAgeFilesLines
* go/types, types2: permit partially instantiated functions as function argumentsRobert Griesemer2023-05-161-44/+118
* go/types, types2: remove superfluous argument test in Checker.argumentsRobert Griesemer2023-05-161-11/+0
* go/types, types2: call recordInstance in instantiateSignatureRobert Griesemer2023-05-121-19/+12
* go/types, types2: move xlist next to targs in Checker.arguments signatureRobert Griesemer2023-05-101-2/+2
* go/types, types2: control type inference in Checker.funcInst via infer argumentRobert Griesemer2023-05-101-10/+28
* go/types, types2: remove genericMultiExpr (inline it in genericExprList)Robert Griesemer2023-05-081-10/+30
* go/types, types2: remove Config.EnableReverseTypeInference flagRobert Griesemer2023-05-041-1/+1
* go/types, types2: rename generic function argumentsRobert Griesemer2023-05-041-2/+9
* go/types, types2: make Checker.renameTParams work on any typeRobert Griesemer2023-05-041-3/+5
* go/types, types2: rename allowVersionf to verifyVersionfRobert Griesemer2023-05-031-3/+3
* go/types, types2: use version data type instead of major,minor intsRobert Griesemer2023-05-031-9/+9
* go/types, types2: combine version check with version error reportingRobert Griesemer2023-05-031-17/+9
* go/types, types2: implement reverse type inference for function argumentsRobert Griesemer2023-05-031-24/+101
* go/types, types2: isParameterized must be able to handle tuplesRobert Griesemer2023-05-011-2/+2
* go/types, types2: factor out type parameter renaming from type inferenceRobert Griesemer2023-04-171-3/+11
* 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-141-3/+3
* go/types, types2: adjust Check.funcInst signatureRobert Griesemer2023-03-291-15/+7
* 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-291-19/+95
* go/types, types2: don't report assignment mismatch errors if there are other ...Robert Griesemer2023-03-281-11/+14
* go/types, types2: simplify Checker.exprListRobert Griesemer2023-03-281-3/+3
* go/types, types2: more systematic use of Checker.use und useLHSRobert Griesemer2023-03-281-18/+50
* go/types, types2: refactor multiExpr and exprListRobert Griesemer2023-03-211-26/+1
* cmd/compile/internal/types2: respect commaerr in Checker.exprListRobert Griesemer2023-03-211-2/+5
* go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup)Robert Griesemer2023-01-201-4/+4
* cmd/compile/internal/types2: remove useConstraintTypeInference flg (cleanup)Robert Griesemer2023-01-201-1/+1
* go/types, types2: don't look up fields or methods when expecting a typeRobert Findley2023-01-111-1/+20
* go/types, types2: better error message for invalid method expressionRobert Griesemer2022-12-061-1/+5
* go/types, types2: ensure signatures are instantiated if all type argsRobert Findley2022-11-181-6/+28
* go/types, types2: use zero error code to indicate unset error codeRobert Griesemer2022-10-101-1/+1
* cmd/compile/internal/types2: use internal/types/errors instead of local error...Robert Griesemer2022-10-101-20/+21
* go/types, types2: report "undefined: p.x" instead of "x not declared by packa...Robert Griesemer2022-09-261-6/+2
* go/types, types2: provide error codes where they were missingRobert Griesemer2022-09-261-0/+1
* types2: provide error codes to error reportingRobert Griesemer2022-09-131-21/+21
* cmd/compile/internal/types2: match go/types for "..." related error msgRobert Griesemer2022-08-191-1/+1
* go/types, types2: ensure that named types never expand infinitelyRobert Findley2022-06-061-3/+3
* go/types, types2: improved tracing output throughout (debugging support)Robert Griesemer2022-03-211-2/+2
* go/types, types2: don't crash in selectors referring to the type being declaredRobert Griesemer2022-03-071-1/+7
* go/types, types2: report an error for x.sel where x is a built-inRobert Griesemer2022-02-261-1/+5
* go/types, types2: rename structuralType/String to coreType/StringRobert Griesemer2022-02-091-1/+1
* go/types, types2: avoid field/method lookup error on invalid typesRobert Griesemer2022-01-181-0/+5
* go/types, types2: refer to type parameter if so for interface pointer errorsRobert Griesemer2022-01-101-1/+1
* go/types, types2: better error message for type parameter field accessRobert Griesemer2022-01-101-28/+15
* go/types, types2: better error message when using *interface instead of inter...Robert Griesemer2022-01-101-27/+37
* go/types, types2: ensure that signature type bounds are interfacesRobert Griesemer2022-01-061-10/+14
* cmd/compile/internal/types2: better error position for instantiation failureRobert Griesemer2021-11-241-19/+13
* cmd/compile/internal/types2: report types for mismatched call and return stat...Robert Griesemer2021-11-241-6/+19
* cmd/compile/internal/types2: don't set a Config.Context if none is providedRobert Griesemer2021-11-171-1/+1
* cmd/compile/internal/types2: underlying type of a type parameter is its const...Robert Griesemer2021-11-131-1/+1