| 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 | -19/+11 |
* | 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 | -20/+99 |
* | go/types, types2: don't report assignment mismatch errors if there are other ... | Robert Griesemer | 2023-03-28 | 1 | -8/+13 |
* | 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 | -14/+46 |
* | go/types: remove Checker.useLHS - not needed | Robert Griesemer | 2023-03-21 | 1 | -35/+8 |
* | go/types, types2: refactor multiExpr and exprList | Robert Griesemer | 2023-03-21 | 1 | -26/+1 |
* | go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup) | Robert Griesemer | 2023-01-20 | 1 | -4/+4 |
* | go/types: consistently use _ prefix for unexported names that are exported in... | Robert Griesemer | 2023-01-17 | 1 | -1/+1 |
* | go/types: use nopos instead of token.NoPos to match types2 | Robert Griesemer | 2023-01-17 | 1 | -3/+3 |
* | go/types: make tracing configurable (matching types2) | Robert Griesemer | 2023-01-17 | 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 | -7/+28 |
* | go/types: replace invalid(AST|Arg|Op) with errorf and message prefix | Robert Griesemer | 2022-10-11 | 1 | -1/+1 |
* | go/types, types2: use zero error code to indicate unset error code | Robert Griesemer | 2022-10-10 | 1 | -1/+1 |
* | go/types: use internal/types/errors instead of local error codes | Robert Griesemer | 2022-10-10 | 1 | -23/+24 |
* | go/types, types2: report "undefined: p.x" instead of "x not declared by packa... | Robert Griesemer | 2022-09-26 | 1 | -2/+2 |
* | go/types, types2: ensure that named types never expand infinitely | Robert Findley | 2022-06-06 | 1 | -3/+3 |
* | go/types: use error_.errorf for reporting related error information | Robert Findley | 2022-04-22 | 1 | -5/+4 |
* | 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/+6 |
* | 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 | -29/+16 |
* | go/types, types2: better error message when using *interface instead of inter... | Robert Griesemer | 2022-01-10 | 1 | -26/+38 |
* | go/types, types2: ensure that signature type bounds are interfaces | Robert Griesemer | 2022-01-06 | 1 | -11/+15 |
* | go/types: better error position for instantiation failure | Robert Griesemer | 2021-11-29 | 1 | -23/+16 |
* | go/types: report types for mismatched call and return statements | Robert Griesemer | 2021-11-29 | 1 | -6/+19 |
* | go/types: underlying type of a type parameter is its constraint interface | Robert Findley | 2021-11-17 | 1 | -1/+1 |