Age | Commit message (Expand) | Author |
2024-03-14 | go/types, types2: don't do version checks for embedded types of imported inte... | Robert Griesemer |
2024-02-27 | go/types, types2: call error handler for each sub-error as needed | Robert Griesemer |
2024-02-23 | go/types, types2: make error handling more similar | Robert Griesemer |
2024-01-24 | go/types, types2: better error msg when type inference fails in a call | Robert Griesemer |
2023-12-12 | go/types, types2: flip message contents for reverse type inference errors | Robert Griesemer |
2023-12-12 | go/types, types2: better error message for cases of reverse type inference | Robert Griesemer |
2023-11-17 | go/types, types2: avoid type inference error if arguments are invalid | Robert Griesemer |
2023-11-13 | go/types, types2: implement Alias proposal (export API) | Robert Griesemer |
2023-11-09 | go/types, types2: introduce _Alias type node | Robert Griesemer |
2023-08-17 | go/types, types2: disable interface inference for versions before Go 1.21 | Robert Griesemer |
2023-08-15 | go/types, types2: don't verify infer result if no Config.Error is given | Robert Griesemer |
2023-06-02 | go/types, types2: remove version check for more lenient constant handling in ... | Robert Griesemer |
2023-06-01 | go/types, types2: use exact matching when unifying constraint method signatures | Robert Griesemer |
2023-05-31 | go/types, types2: better error message for some inference failures | Robert Griesemer |
2023-05-30 | go/types, types2: use exact unification for component types | Robert Griesemer |
2023-05-30 | go/types, types2: add unifyMode to unifier, pass it through | Robert Griesemer |
2023-05-23 | Revert "go/types, types2: consider shared methods when unifying against inter... | Robert Griesemer |
2023-05-23 | go/types, types2: consider shared methods when unifying against interfaces | Robert Griesemer |
2023-05-19 | go/types: fix typos in comments | Oleksandr Redko |
2023-05-19 | cmd/compile: use more lenient type inference for untyped arguments for go1.21 | Robert Griesemer |
2023-05-10 | go/types, types2: explicitly look for nil type arguments in infer | Robert Griesemer |
2023-05-10 | all: fix a lot of comments | cui fliter |
2023-05-08 | go/types, types2: infer minimum default type for untyped arguments | Robert Griesemer |
2023-05-05 | go/types, types2: exclude untyped nil arguments early in type inference | Robert Griesemer |
2023-05-04 | go/types, types2: remove Config.EnableReverseTypeInference flag | Robert Griesemer |
2023-05-04 | go/types, types2: consider generic functions in inference simplify step | Robert Griesemer |
2023-05-04 | go/types, types2: make Checker.renameTParams work on any type | Robert Griesemer |
2023-05-03 | go/types, types2: implement reverse type inference for function arguments | Robert Griesemer |
2023-05-01 | go/types, types2: isParameterized must be able to handle tuples | Robert Griesemer |
2023-04-17 | go/types, types2: factor out type parameter renaming from type inference | Robert Griesemer |
2023-04-17 | go/types, types2: (slightly) refactor tpWalker.isParameterized (cleanup) | Robert Griesemer |
2023-04-13 | go/types, types2: factor out inference cycle detector (cleanup) | Robert Griesemer |
2023-04-13 | go/types, types2: generalize tparamIndex to arbitrary type parameter lists | Robert Griesemer |
2023-03-07 | go/types, types2: fine-tune inference tracing output (debugging support) | Robert Griesemer |
2023-03-01 | go/types, types2: add cause parameter to missingMethod, (new)assertableTo | Robert Griesemer |
2023-03-01 | go/types, types2: consider methods when unifying type parameters and constraints | Robert Griesemer |
2023-03-01 | go/types, types2: better internal comment, added suitable test case | Robert Griesemer |
2023-03-01 | go/types, types2: simplify unification with constraints | Robert Griesemer |
2023-03-01 | go/types, types2: move Checker.infer into infer.go; delete infer2.go | Robert Griesemer |
2023-03-01 | go/types, types2: remove code for infer1 | Robert Griesemer |
2023-02-25 | go/types, types2: fix comment in Checker.renameTParams | Robert Griesemer |
2023-02-09 | go/types, types2: simplify unify.inferred signature | Robert Griesemer |
2023-02-06 | go/types, types2: eliminate need to sort arguments for type inference | Robert Griesemer |
2023-02-02 | go/types, types2: enable new type inference | Robert Griesemer |
2023-02-02 | go/types, types2: implement simpler type inference (infer2) | Robert Griesemer |
2023-02-01 | go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup) | Robert Griesemer |
2023-02-01 | go/types, types2: unifier constructor to accept type parameters and arguments | Robert Griesemer |
2023-02-01 | go/types, types2: replace unifier type parameter list with a map | Robert Griesemer |
2023-01-27 | go/types, types2: move tparamIndex from unify.go into infer.go | Robert Griesemer |
2023-01-27 | go/types, types2: simplify unifier | Robert Griesemer |