| Commit message (Expand) | Author | Age | Files | Lines |
* | go/types, types2: use version data type instead of major,minor ints | Robert Griesemer | 2023-05-03 | 1 | -1/+1 |
* | go/types, types2: combine version check with version error reporting | Robert Griesemer | 2023-05-03 | 1 | -1/+1 |
* | go/types, cmd/compile/internal/types2: use per-file Go version | Russ Cox | 2023-04-14 | 1 | -3/+3 |
* | go/types, types2: add cause parameter to missingMethod, (new)assertableTo | Robert Griesemer | 2023-03-01 | 1 | -2/+2 |
* | go/types, types2: add predicate to missingMethod signature | Robert Griesemer | 2023-03-01 | 1 | -1/+1 |
* | go/types: add a test that generated files match types2 | Robert Findley | 2023-01-20 | 1 | -1/+1 |
* | go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup) | Robert Griesemer | 2023-01-20 | 1 | -2/+2 |
* | go/types: generate instantiate.go | Robert Griesemer | 2023-01-20 | 1 | -0/+2 |
* | cmd/compile: remove support for old comparable semantics | Robert Griesemer | 2023-01-17 | 1 | -9/+0 |
* | go/types: use nopos instead of token.NoPos to match types2 | Robert Griesemer | 2023-01-17 | 1 | -2/+2 |
* | cmd/compile: better error message for when a type is in a constraint but not ... | Robert Griesemer | 2023-01-11 | 1 | -4/+33 |
* | cmd/compile: use "satisfies" (not "implements") for constraint errors | Robert Griesemer | 2023-01-04 | 1 | -10/+15 |
* | go/types, types2: make the new comparable semantics the default | Robert Griesemer | 2022-12-01 | 1 | -6/+27 |
* | Revert "go/types, types2: make the new comparable semantics the default" | Robert Griesemer | 2022-12-01 | 1 | -27/+6 |
* | go/types, types2: make the new comparable semantics the default | Robert Griesemer | 2022-12-01 | 1 | -6/+27 |
* | go/types: avoid formatting unneeded causes | Alan Donovan | 2022-10-31 | 1 | -6/+6 |
* | go/types, types2: implement alternative comparable semantics | Robert Griesemer | 2022-10-24 | 1 | -4/+9 |
* | go/types: use internal/types/errors instead of local error codes | Robert Griesemer | 2022-10-10 | 1 | -1/+2 |
* | go/types, types2: consistently use "cause" instead of "reason" for error deta... | Robert Griesemer | 2022-09-28 | 1 | -21/+21 |
* | go/types, types2: don't build unnecessary error strings in implements | Robert Findley | 2022-08-15 | 1 | -30/+49 |
* | go/types, types2: only set instance context if packages match | Robert Findley | 2022-06-09 | 1 | -19/+20 |
* | go/types, types2: better error message if type is not in type set | Robert Griesemer | 2022-06-07 | 1 | -1/+1 |
* | go/types, types2: ensure that named types never expand infinitely | Robert Findley | 2022-06-06 | 1 | -24/+59 |
* | go/types, types2: store Named instance information separately | Robert Findley | 2022-06-06 | 1 | -4/+1 |
* | go/types, types2: remove Named.once in favor of monotonic state | Robert Findley | 2022-06-06 | 1 | -3/+0 |
* | go/types, types2: remove redundant calls to Named.resolve | Robert Findley | 2022-05-24 | 1 | -1/+1 |
* | go/types: clarify that contexts do not guarantee deduplication | Robert Findley | 2022-03-30 | 1 | -1/+2 |
* | go/types, types2: improved tracing output throughout (debugging support) | Robert Griesemer | 2022-03-21 | 1 | -1/+2 |
* | go/types, types2: clarify documentation with respect to generic types | Robert Findley | 2022-03-09 | 1 | -4/+4 |
* | go/types, types2: add "dynamic" flag to comparable predicate | Robert Griesemer | 2022-02-23 | 1 | -1/+1 |
* | go/types, types2: ensure we have an interface before checking constraints | Robert Griesemer | 2022-02-07 | 1 | -0/+2 |
* | go/types, types2: always use missingMethodReason in checker.Implements | Robert Griesemer | 2022-02-04 | 1 | -28/+5 |
* | go/types, types2: fix implements and identical predicates | Robert Griesemer | 2022-01-31 | 1 | -1/+1 |
* | go/types, types2: remove Qualifier parameter from Checker.implements | Robert Griesemer | 2022-01-28 | 1 | -11/+6 |
* | go/types, types2: use Checker.implements in operand.assignableTo | Robert Griesemer | 2022-01-28 | 1 | -0/+2 |
* | go/types, types2: better error reporting for Checker.implements | Robert Griesemer | 2022-01-28 | 1 | -13/+24 |
* | go/types, types2: make each method instantiation independently lazy | Robert Findley | 2022-01-25 | 1 | -1/+1 |
* | go/types, types2: avoid field/method lookup error on invalid types | Robert Griesemer | 2022-01-18 | 1 | -1/+4 |
* | go/types, types2: delay "does not satisfy comparable" error until needed | Robert Griesemer | 2021-12-20 | 1 | -14/+11 |
* | all: gofmt -w -r 'interface{} -> any' src | Russ Cox | 2021-12-13 | 1 | -1/+1 |
* | go/types, types2: unexport NewTypeList | Robert Findley | 2021-12-06 | 1 | -1/+1 |
* | go/types: better error message for missing ~ in constraint | Robert Griesemer | 2021-11-29 | 1 | -3/+22 |
* | go/types: use "implements" rather than "satisfies" in error messages | Robert Findley | 2021-11-18 | 1 | -11/+10 |
* | go/types: remove unneccesary tests in implements and lookup | Robert Findley | 2021-11-18 | 1 | -6/+0 |
* | go/types: implement Checker.implements | Robert Findley | 2021-11-18 | 1 | -56/+65 |
* | go/types: remove asTypeParam and simplify some code | Robert Findley | 2021-11-16 | 1 | -4/+4 |
* | go/types: assign error codes to new errors for Go 1.18 | Robert Findley | 2021-11-15 | 1 | -1/+1 |
* | go/types: return an error from Instantiate on incorrect len(targs) | Robert Findley | 2021-11-13 | 1 | -20/+30 |
* | go/types: deduplicate signatures with the context | Robert Findley | 2021-11-13 | 1 | -19/+24 |
* | go/types: re-use type hashing logic in Context.typeHash | Robert Findley | 2021-11-12 | 1 | -2/+2 |