| Commit message (Expand) | Author | Age | Files | Lines |
* | go/types, types2: permit partially instantiated functions as function arguments | Robert Griesemer | 2023-05-16 | 1 | -44/+118 |
* | go/types, types2: remove superfluous argument test in Checker.arguments | Robert Griesemer | 2023-05-16 | 1 | -11/+0 |
* | go/types, types2: call recordInstance in instantiateSignature | Robert Griesemer | 2023-05-12 | 1 | -19/+12 |
* | go/types, types2: move xlist next to targs in Checker.arguments signature | Robert Griesemer | 2023-05-10 | 1 | -2/+2 |
* | go/types, types2: control type inference in Checker.funcInst via infer argument | Robert Griesemer | 2023-05-10 | 1 | -10/+28 |
* | go/types, types2: remove genericMultiExpr (inline it in genericExprList) | Robert Griesemer | 2023-05-08 | 1 | -10/+30 |
* | go/types, types2: remove Config.EnableReverseTypeInference flag | Robert Griesemer | 2023-05-04 | 1 | -1/+1 |
* | go/types, types2: rename generic function arguments | Robert Griesemer | 2023-05-04 | 1 | -2/+9 |
* | go/types, types2: make Checker.renameTParams work on any type | Robert Griesemer | 2023-05-04 | 1 | -3/+5 |
* | go/types, types2: rename allowVersionf to verifyVersionf | Robert Griesemer | 2023-05-03 | 1 | -3/+3 |
* | go/types, types2: use version data type instead of major,minor ints | Robert Griesemer | 2023-05-03 | 1 | -9/+9 |
* | go/types, types2: combine version check with version error reporting | Robert Griesemer | 2023-05-03 | 1 | -17/+9 |
* | go/types, types2: implement reverse type inference for function arguments | Robert Griesemer | 2023-05-03 | 1 | -24/+101 |
* | go/types, types2: isParameterized must be able to handle tuples | Robert Griesemer | 2023-05-01 | 1 | -2/+2 |
* | go/types, types2: factor out type parameter renaming from type inference | Robert Griesemer | 2023-04-17 | 1 | -3/+11 |
* | go/types,types2: fix panic in reverse type inference when -lang<go1.18 | Rob Findley | 2023-04-14 | 1 | -1/+7 |
* | go/types, cmd/compile/internal/types2: use per-file Go version | Russ Cox | 2023-04-14 | 1 | -3/+3 |
* | go/types, types2: adjust Check.funcInst signature | Robert Griesemer | 2023-03-29 | 1 | -15/+7 |
* | go/types, types2: slightly tighter checks in Checker.use | Robert Griesemer | 2023-03-29 | 1 | -1/+1 |
* | go/types, types2: reverse inference of function type arguments | Robert Griesemer | 2023-03-29 | 1 | -19/+95 |
* | go/types, types2: don't report assignment mismatch errors if there are other ... | Robert Griesemer | 2023-03-28 | 1 | -11/+14 |
* | go/types, types2: simplify Checker.exprList | Robert Griesemer | 2023-03-28 | 1 | -3/+3 |
* | go/types, types2: more systematic use of Checker.use und useLHS | Robert Griesemer | 2023-03-28 | 1 | -18/+50 |
* | go/types, types2: refactor multiExpr and exprList | Robert Griesemer | 2023-03-21 | 1 | -26/+1 |
* | cmd/compile/internal/types2: respect commaerr in Checker.exprList | Robert Griesemer | 2023-03-21 | 1 | -2/+5 |
* | go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup) | Robert Griesemer | 2023-01-20 | 1 | -4/+4 |
* | cmd/compile/internal/types2: remove useConstraintTypeInference flg (cleanup) | Robert Griesemer | 2023-01-20 | 1 | -1/+1 |
* | go/types, types2: don't look up fields or methods when expecting a type | Robert Findley | 2023-01-11 | 1 | -1/+20 |
* | go/types, types2: better error message for invalid method expression | Robert Griesemer | 2022-12-06 | 1 | -1/+5 |
* | go/types, types2: ensure signatures are instantiated if all type args | Robert Findley | 2022-11-18 | 1 | -6/+28 |
* | go/types, types2: use zero error code to indicate unset error code | Robert Griesemer | 2022-10-10 | 1 | -1/+1 |
* | cmd/compile/internal/types2: use internal/types/errors instead of local error... | Robert Griesemer | 2022-10-10 | 1 | -20/+21 |
* | go/types, types2: report "undefined: p.x" instead of "x not declared by packa... | Robert Griesemer | 2022-09-26 | 1 | -6/+2 |
* | go/types, types2: provide error codes where they were missing | Robert Griesemer | 2022-09-26 | 1 | -0/+1 |
* | types2: provide error codes to error reporting | Robert Griesemer | 2022-09-13 | 1 | -21/+21 |
* | cmd/compile/internal/types2: match go/types for "..." related error msg | Robert Griesemer | 2022-08-19 | 1 | -1/+1 |
* | go/types, types2: ensure that named types never expand infinitely | Robert Findley | 2022-06-06 | 1 | -3/+3 |
* | go/types, types2: improved tracing output throughout (debugging support) | Robert Griesemer | 2022-03-21 | 1 | -2/+2 |
* | go/types, types2: don't crash in selectors referring to the type being declared | Robert Griesemer | 2022-03-07 | 1 | -1/+7 |
* | go/types, types2: report an error for x.sel where x is a built-in | Robert Griesemer | 2022-02-26 | 1 | -1/+5 |
* | go/types, types2: rename structuralType/String to coreType/String | Robert Griesemer | 2022-02-09 | 1 | -1/+1 |
* | go/types, types2: avoid field/method lookup error on invalid types | Robert Griesemer | 2022-01-18 | 1 | -0/+5 |
* | go/types, types2: refer to type parameter if so for interface pointer errors | Robert Griesemer | 2022-01-10 | 1 | -1/+1 |
* | go/types, types2: better error message for type parameter field access | Robert Griesemer | 2022-01-10 | 1 | -28/+15 |
* | go/types, types2: better error message when using *interface instead of inter... | Robert Griesemer | 2022-01-10 | 1 | -27/+37 |
* | go/types, types2: ensure that signature type bounds are interfaces | Robert Griesemer | 2022-01-06 | 1 | -10/+14 |
* | cmd/compile/internal/types2: better error position for instantiation failure | Robert Griesemer | 2021-11-24 | 1 | -19/+13 |
* | cmd/compile/internal/types2: report types for mismatched call and return stat... | Robert Griesemer | 2021-11-24 | 1 | -6/+19 |
* | cmd/compile/internal/types2: don't set a Config.Context if none is provided | Robert Griesemer | 2021-11-17 | 1 | -1/+1 |
* | cmd/compile/internal/types2: underlying type of a type parameter is its const... | Robert Griesemer | 2021-11-13 | 1 | -1/+1 |