summaryrefslogtreecommitdiff
path: root/src/go/types/api_test.go
Commit message (Expand)AuthorAgeFilesLines
* go/types, types2: permit partially instantiated functions as function argumentsRobert Griesemer2023-05-161-6/+29
* go/types, types2: remove Config.EnableReverseTypeInference flagRobert Griesemer2023-05-041-6/+1
* go/types, types2: rename generic function argumentsRobert Griesemer2023-05-041-0/+7
* go/types, types2: implement reverse type inference for function argumentsRobert Griesemer2023-05-031-2/+41
* go/types, types2: remove parse (we only need mustParse for tests)Robert Griesemer2023-04-281-19/+5
* go/types, types2: extract package name from test sources automaticallyRobert Griesemer2023-04-281-49/+56
* go/types, types2: call mustParse when using mustTypecheckRobert Griesemer2023-04-281-1/+8
* go/types,types2: add a test for const initializer panicRob Findley2023-04-131-0/+28
* go/types, types2: use go.dev/issue/nnnnn when referring to an issue (cleanup)Robert Griesemer2023-01-201-19/+19
* types2: add *Config to typecheck functions for tests, factor more codeRobert Griesemer2023-01-201-22/+25
* go/types, types2: factor out position comparison, share more codeRobert Griesemer2023-01-171-1/+1
* go/types: use nopos instead of token.NoPos to match types2Robert Griesemer2023-01-171-2/+5
* go/types, types2: ensure signatures are instantiated if all type argsRobert Findley2022-11-181-5/+8
* go/types, types2: replace typecheck with mustTypecheck almost everywhere (cle...Robert Griesemer2022-10-191-33/+16
* go/types, types2: consolidate helper functions for tests (cleanup)Robert Griesemer2022-10-191-118/+58
* go/types: remove pkgForMode in favor of pkgFor (cleanup)Robert Griesemer2022-10-181-9/+5
* go/types, types2: implement slice-to-array conversionsRobert Griesemer2022-09-081-1/+2
* go/types, types2: use strings.Builder instead of bytes.Buffer where possibleRobert Griesemer2022-09-031-2/+1
* go/types, types2: consistently write "x | y" rather than "x|y" for unionsRobert Griesemer2022-09-021-15/+15
* go/types: match types2 string when printing composite literalsRobert Griesemer2022-08-251-1/+1
* go/types: remove machinery to select parsing mode (cleanup)Robert Griesemer2022-08-191-88/+74
* go/parser: remove (internal) ability to disable generic codeRobert Griesemer2022-08-191-7/+2
* go/types, types2: remove Named.once in favor of monotonic stateRobert Findley2022-06-061-1/+1
* all: fix spellingJohn Bampton2022-05-171-1/+1
* go/types, types2: set an origin object for vars and funcsRobert Findley2022-05-171-7/+45
* go/types, types2: use a type lookup by identity in method lookupRobert Findley2022-05-091-1/+55
* go/types: don't report errors for untyped int shifts on Go < 1.13Robert Findley2022-04-021-1/+1
* go/types, types2: preserve parent scope when substituting receiversRobert Findley2022-03-291-0/+98
* go/types, types: add additional generic cases for the Selections APIRobert Findley2022-03-221-22/+39
* go/types, types2: record all type instances, even duplicatesRobert Findley2022-03-071-108/+135
* go/types, types2: fix scoping for iteration variables declared by range clauseRobert Griesemer2022-03-031-1/+1
* go/types, types2: correctly consider ~ (tilde) in constraint type inferenceRobert Griesemer2022-03-011-9/+11
* go/types, types2: AssertableTo is undefined for generalized interfacesRobert Griesemer2022-02-081-15/+27
* go/types, types2: fix bug in types2.MissingMethodRobert Griesemer2022-02-041-0/+58
* go/types: update interface receivers after substitutingRobert Findley2022-01-271-1/+16
* go/types, types2: make each method instantiation independently lazyRobert Findley2022-01-251-0/+114
* go/types, types2: explicitly check for non-nil type in LookupFieldOrMethodRobert Griesemer2022-01-191-0/+12
* go/types, types2: report error for invalid string(1 << s)Robert Griesemer2022-01-181-1/+0
* cmd/compile/internal/types2: record types for union subexpressionsRobert Griesemer2021-12-151-10/+12
* go/types: record types for union subexpressionsRobert Findley2021-12-141-0/+13
* go/types, types2: record (top-level) union typesRobert Griesemer2021-12-141-0/+10
* go/types: consider structural restrictions in ImplementsRobert Findley2021-11-291-0/+104
* go/types, types2: substitute for type parameters in signatures whenRobert Findley2021-11-221-0/+50
* go/types, types2: improve error messages referencing anyRobert Findley2021-11-161-3/+3
* go/types: deduplicate signatures with the contextRobert Findley2021-11-131-5/+9
* go/types: don't return an array type with invalid lengthRobert Findley2021-11-091-1/+1
* go/types: remove qualification from type parameter stringsRobert Findley2021-11-041-6/+6
* go/types: disallow lone type parameter on RHS of type declarationRobert Findley2021-11-021-14/+0
* go/types: remove subscripts from type parameter namesRobert Findley2021-10-251-6/+6
* go/types, types2: add a test case to ConvertibleToRobert Griesemer2021-10-141-2/+2