| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | go/types, types2: permit partially instantiated functions as function arguments | Robert Griesemer | 2023-05-16 | 2 | -0/+32 |
| * | go/types, types2: remove superfluous argument test in Checker.arguments | Robert Griesemer | 2023-05-16 | 2 | -2/+2 |
| * | go/types, types2: be sure to type-check wrong methods in missingMethod | Rob Findley | 2023-05-12 | 1 | -0/+10 |
| * | all: fix a lot of comments | cui fliter | 2023-05-10 | 1 | -1/+1 |
| * | go/types, types2: infer minimum default type for untyped arguments | Robert Griesemer | 2023-05-08 | 1 | -0/+22 |
| * | go/types, types2: better error message for bad assignment | Robert Griesemer | 2023-05-05 | 1 | -0/+13 |
| * | go/types, types2: remove Config.EnableReverseTypeInference flag | Robert Griesemer | 2023-05-04 | 7 | -11/+5 |
| * | go/types, types2: consider generic functions in inference simplify step | Robert Griesemer | 2023-05-04 | 1 | -0/+11 |
| * | go/types, types2: rename generic function arguments | Robert Griesemer | 2023-05-04 | 2 | -3/+50 |
| * | go/types, types2: combine version check with version error reporting | Robert Griesemer | 2023-05-03 | 1 | -2/+2 |
| * | go/types, types2: implement reverse type inference for function arguments | Robert Griesemer | 2023-05-03 | 3 | -5/+68 |
| * | go/types, types2: isParameterized must be able to handle tuples | Robert Griesemer | 2023-05-01 | 1 | -0/+17 |
| * | go/types: add test case for CL 486398 | Russ Cox | 2023-04-21 | 1 | -0/+15 |
| * | go/types, types2: abort type unification if no progress is made | Robert Griesemer | 2023-04-21 | 1 | -0/+25 |
| * | cmd/compile/internal/types2: only mark variables as used if they are | Robert Griesemer | 2023-04-19 | 1 | -5/+2 |
| * | go/types, types2: don't panic for invalid assignments of comma-ok expressions | Robert Griesemer | 2023-04-19 | 1 | -0/+20 |
| * | go/types,types2: fix panic in reverse type inference when -lang<go1.18 | Rob Findley | 2023-04-14 | 1 | -0/+11 |
| * | go/types, cmd/compile/internal/types2: use per-file Go version | Russ Cox | 2023-04-14 | 3 | -0/+51 |
| * | internal/types: rename 54942.go to issue54942.go | Rob Findley | 2023-04-13 | 1 | -0/+0 |
| * | go/types, types2: reverse inference of function type arguments | Robert Griesemer | 2023-03-29 | 2 | -0/+80 |
| * | go/types, types2: better error message for some invalid integer array lengths | Robert Griesemer | 2023-03-27 | 2 | -1/+12 |
| * | cmd/compile: don't panic if unsafe.Sizeof/Offsetof is used with oversize types | Robert Griesemer | 2023-03-27 | 4 | -3/+75 |
| * | errors: correct spelling | Vasili Revelas | 2023-03-16 | 1 | -2/+2 |
| * | internal/types/errors: add String method to Code | Robert Griesemer | 2023-03-15 | 2 | -0/+197 |
| * | go/types, types2: clean up defined type identity check/unification | Robert Griesemer | 2023-03-09 | 1 | -0/+15 |
| * | go/types, types2: better error when method is missing due to ambiguity | Robert Griesemer | 2023-03-06 | 2 | -1/+22 |
| * | go/types, types2: use "undefined type" rather than "<T>" in have/want error m... | Robert Griesemer | 2023-03-06 | 1 | -0/+18 |
| * | go/types, types2: disentangle convoluted logic for missing method cause | Robert Griesemer | 2023-03-02 | 1 | -2/+1 |
| * | go/types, types2: consider methods when unifying type parameters and constraints | Robert Griesemer | 2023-03-01 | 2 | -1/+36 |
| * | go/types, types2: better internal comment, added suitable test case | Robert Griesemer | 2023-03-01 | 1 | -0/+8 |
| * | go/types, types2: use new type inference algorithm exclusively | Robert Griesemer | 2023-03-01 | 6 | -5/+31 |
| * | go/types, types2: point out type parameters with predeclared names in errors | Robert Griesemer | 2023-02-22 | 1 | -0/+27 |
| * | go/types, types2: avoid unused variable error in invalid x.(type) expression | Robert Griesemer | 2023-02-22 | 1 | -0/+14 |
| * | go/types, types2: eliminate need to sort arguments for type inference | Robert Griesemer | 2023-02-06 | 1 | -3/+3 |
| * | go/types, types2: better error when trying to use ~ as bitwise operation | Robert Griesemer | 2023-02-01 | 1 | -0/+9 |
| * | go/types, types2: refuse pointer to array as argument to "clear" builtin | Cuong Manh Le | 2023-01-24 | 3 | -3/+3 |
| * | all: fix typos in go file comments | Marcel Meyer | 2023-01-20 | 2 | -2/+2 |
| * | cmd/compile: remove support for old comparable semantics | Robert Griesemer | 2023-01-17 | 4 | -42/+8 |
| * | go/types, types2: do not abort constraint type inference eagerly | Robert Griesemer | 2023-01-17 | 2 | -1/+60 |
| * | go/types, types2: distinguish between substring and regexp error patterns | Robert Griesemer | 2023-01-17 | 94 | -482/+482 |
| * | internal/types: consistently use double quotes around ERROR patterns | Robert Griesemer | 2023-01-17 | 179 | -1469/+1469 |
| * | cmd/compile/internal/syntax: rename ErrorMap to CommentMap, make more flexible | Robert Griesemer | 2023-01-17 | 4 | -7/+7 |
| * | go/types, types2: don't look up fields or methods when expecting a type | Robert Findley | 2023-01-11 | 5 | -8/+32 |
| * | cmd/compile: better error message for when a type is in a constraint but not ... | Robert Griesemer | 2023-01-11 | 4 | -6/+22 |
| * | cmd/compile: use "satisfies" (not "implements") for constraint errors | Robert Griesemer | 2023-01-04 | 20 | -78/+78 |
| * | go/types, types2: use strict comparability for type set intersection | Robert Griesemer | 2022-12-29 | 1 | -0/+29 |
| * | go/types, types2: report type mismatch error when conversion is impossible | Robert Griesemer | 2022-12-13 | 2 | -1/+11 |
| * | go/types, types2: always rename type parameters during inference | Robert Findley | 2022-12-08 | 1 | -0/+14 |
| * | go/types, types2: better error message for invalid method expression | Robert Griesemer | 2022-12-06 | 3 | -4/+23 |
| * | go/types, types2: better error message for failing constraint type inference | Robert Griesemer | 2022-12-05 | 1 | -2/+2 |
