| Commit message (Expand) | Author | Age | Files | Lines |
* | go/types, types2: permit partially instantiated functions as function arguments | Robert Griesemer | 2023-05-16 | 1 | -6/+29 |
* | go/types, types2: remove Config.EnableReverseTypeInference flag | Robert Griesemer | 2023-05-04 | 1 | -6/+1 |
* | go/types, types2: rename generic function arguments | Robert Griesemer | 2023-05-04 | 1 | -0/+7 |
* | go/types, types2: implement reverse type inference for function arguments | Robert Griesemer | 2023-05-03 | 1 | -2/+41 |
* | go/types, types2: remove parse (we only need mustParse for tests) | Robert Griesemer | 2023-04-28 | 1 | -19/+5 |
* | go/types, types2: extract package name from test sources automatically | Robert Griesemer | 2023-04-28 | 1 | -49/+56 |
* | go/types, types2: call mustParse when using mustTypecheck | Robert Griesemer | 2023-04-28 | 1 | -1/+8 |
* | go/types,types2: add a test for const initializer panic | Rob Findley | 2023-04-13 | 1 | -0/+28 |
* | go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup) | Robert Griesemer | 2023-01-20 | 1 | -19/+19 |
* | types2: add *Config to typecheck functions for tests, factor more code | Robert Griesemer | 2023-01-20 | 1 | -22/+25 |
* | go/types, types2: factor out position comparison, share more code | 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 | -2/+5 |
* | go/types, types2: ensure signatures are instantiated if all type args | Robert Findley | 2022-11-18 | 1 | -5/+8 |
* | go/types, types2: replace typecheck with mustTypecheck almost everywhere (cle... | Robert Griesemer | 2022-10-19 | 1 | -33/+16 |
* | go/types, types2: consolidate helper functions for tests (cleanup) | Robert Griesemer | 2022-10-19 | 1 | -118/+58 |
* | go/types: remove pkgForMode in favor of pkgFor (cleanup) | Robert Griesemer | 2022-10-18 | 1 | -9/+5 |
* | go/types, types2: implement slice-to-array conversions | Robert Griesemer | 2022-09-08 | 1 | -1/+2 |
* | go/types, types2: use strings.Builder instead of bytes.Buffer where possible | Robert Griesemer | 2022-09-03 | 1 | -2/+1 |
* | go/types, types2: consistently write "x | y" rather than "x|y" for unions | Robert Griesemer | 2022-09-02 | 1 | -15/+15 |
* | go/types: match types2 string when printing composite literals | Robert Griesemer | 2022-08-25 | 1 | -1/+1 |
* | go/types: remove machinery to select parsing mode (cleanup) | Robert Griesemer | 2022-08-19 | 1 | -88/+74 |
* | go/parser: remove (internal) ability to disable generic code | Robert Griesemer | 2022-08-19 | 1 | -7/+2 |
* | go/types, types2: remove Named.once in favor of monotonic state | Robert Findley | 2022-06-06 | 1 | -1/+1 |
* | all: fix spelling | John Bampton | 2022-05-17 | 1 | -1/+1 |
* | go/types, types2: set an origin object for vars and funcs | Robert Findley | 2022-05-17 | 1 | -7/+45 |
* | go/types, types2: use a type lookup by identity in method lookup | Robert Findley | 2022-05-09 | 1 | -1/+55 |
* | go/types: don't report errors for untyped int shifts on Go < 1.13 | Robert Findley | 2022-04-02 | 1 | -1/+1 |
* | go/types, types2: preserve parent scope when substituting receivers | Robert Findley | 2022-03-29 | 1 | -0/+98 |
* | go/types, types: add additional generic cases for the Selections API | Robert Findley | 2022-03-22 | 1 | -22/+39 |
* | go/types, types2: record all type instances, even duplicates | Robert Findley | 2022-03-07 | 1 | -108/+135 |
* | go/types, types2: fix scoping for iteration variables declared by range clause | Robert Griesemer | 2022-03-03 | 1 | -1/+1 |
* | go/types, types2: correctly consider ~ (tilde) in constraint type inference | Robert Griesemer | 2022-03-01 | 1 | -9/+11 |
* | go/types, types2: AssertableTo is undefined for generalized interfaces | Robert Griesemer | 2022-02-08 | 1 | -15/+27 |
* | go/types, types2: fix bug in types2.MissingMethod | Robert Griesemer | 2022-02-04 | 1 | -0/+58 |
* | go/types: update interface receivers after substituting | Robert Findley | 2022-01-27 | 1 | -1/+16 |
* | go/types, types2: make each method instantiation independently lazy | Robert Findley | 2022-01-25 | 1 | -0/+114 |
* | go/types, types2: explicitly check for non-nil type in LookupFieldOrMethod | Robert Griesemer | 2022-01-19 | 1 | -0/+12 |
* | go/types, types2: report error for invalid string(1 << s) | Robert Griesemer | 2022-01-18 | 1 | -1/+0 |
* | cmd/compile/internal/types2: record types for union subexpressions | Robert Griesemer | 2021-12-15 | 1 | -10/+12 |
* | go/types: record types for union subexpressions | Robert Findley | 2021-12-14 | 1 | -0/+13 |
* | go/types, types2: record (top-level) union types | Robert Griesemer | 2021-12-14 | 1 | -0/+10 |
* | go/types: consider structural restrictions in Implements | Robert Findley | 2021-11-29 | 1 | -0/+104 |
* | go/types, types2: substitute for type parameters in signatures when | Robert Findley | 2021-11-22 | 1 | -0/+50 |
* | go/types, types2: improve error messages referencing any | Robert Findley | 2021-11-16 | 1 | -3/+3 |
* | go/types: deduplicate signatures with the context | Robert Findley | 2021-11-13 | 1 | -5/+9 |
* | go/types: don't return an array type with invalid length | Robert Findley | 2021-11-09 | 1 | -1/+1 |
* | go/types: remove qualification from type parameter strings | Robert Findley | 2021-11-04 | 1 | -6/+6 |
* | go/types: disallow lone type parameter on RHS of type declaration | Robert Findley | 2021-11-02 | 1 | -14/+0 |
* | go/types: remove subscripts from type parameter names | Robert Findley | 2021-10-25 | 1 | -6/+6 |
* | go/types, types2: add a test case to ConvertibleTo | Robert Griesemer | 2021-10-14 | 1 | -2/+2 |