go/types

use a comparer struct to control the identical predicate

#464937 opened 3 days ago by Robert Griesemer

simplify symmetric code

#464896 opened 4 days ago by Robert Griesemer

eliminate need to sort arguments for type inference

#464348 opened 4 days ago by Robert Griesemer

avoid recursive invocation when unifying underlying types

#464347 opened 4 days ago by Robert Griesemer

remove (internal) exactUnification flag

#464346 opened 4 days ago by Robert Griesemer

enable new type inference

#464341 opened 5 days ago by Robert Griesemer

unifier constructor to accept type parameters and arguments

#463990 opened 1 week ago by Robert Griesemer

further simplify unification

#463989 opened 1 week ago by Robert Griesemer

use go.dev/issue/nnnnn when referring to an issue (cleanup)

#463749 opened 5 days ago by Robert Griesemer

better error when trying to use ~ as bitwise operation

#463747 opened 6 days ago by Robert Griesemer

implement simpler type inference (infer2)

#463746 opened 6 days ago by Robert Griesemer

remove misleading example from comment

#463735 opened 1 week ago by Robert Griesemer

move tparamIndex from unify.go into infer.go

#463230 opened 1 week ago by Robert Griesemer

replace unifier type parameter list with a map

#463228 opened 1 week ago by Robert Griesemer

simplify unifier

#463223 opened 1 week ago by Robert Griesemer

refuse pointer to array as argument to "clear" builtin

#463075 opened 2 weeks ago by Cuong Manh Le

use go.dev/issue/nnnnn when referring to an issue (cleanup)

#462856 opened 2 weeks ago by Robert Griesemer

add a test that generated files match types2

#462758 opened 2 weeks ago by Robert Findley

generate instantiate.go

#461693 opened 2 weeks ago by Robert Griesemer

provision for generating initorder.go, but disabled for now

#461692 opened 2 weeks ago by Robert Griesemer

generate infer.go

#461691 opened 2 weeks ago by Robert Griesemer

factor out type parameter renaming (cleanup)

#461688 opened 2 weeks ago by Robert Griesemer

factor out type parameter renaming (cleanup)

#461687 opened 2 weeks ago by Robert Griesemer

more uses of factored functions; generate object_test.go

#461680 opened 3 weeks ago by Robert Griesemer

generate util_test.go, cosmetic changes to generator.go

#461679 opened 3 weeks ago by Robert Griesemer

use the same interface method sorting as types2

#461677 opened 3 weeks ago by Robert Griesemer

use factored parse/typecheck functions, generate hilbert_test.go

#461609 opened 3 weeks ago by Robert Griesemer

consistently use _ prefix for unexported names that are exported in types2

#461606 opened 3 weeks ago by Robert Griesemer

generate unify.go

#461603 opened 3 weeks ago by Robert Griesemer

allow filename arguments to generator for easier manual use

#461602 opened 3 weeks ago by Robert Griesemer

factor out position comparison, share more code

#461596 opened 3 weeks ago by Robert Griesemer

don't look up fields or methods when expecting a type

#461577 opened 3 weeks ago by Robert Findley

factor out under.go, generate it for go/types

#461495 opened 3 weeks ago by Robert Griesemer

generate more files from types2 sources

#461083 opened 4 weeks ago by Robert Griesemer

use nopos instead of token.NoPos to match types2

#461082 opened 4 weeks ago by Robert Griesemer

make tracing configurable (matching types2)

#461081 opened 4 weeks ago by Robert Griesemer

minor adjustments (cleanups)

#460996 opened 4 weeks ago by Robert Griesemer

generate various source files from types2 files

#460761 opened 1 month ago by Robert Griesemer

test that error format strings have matching parentheses/brackets

#460759 opened 1 month ago by Robert Griesemer

use internal/lazyregexp for goVersionRx

#460544 opened 4 weeks ago by Daniel Martí

[release-branch.go1.19] use strict comparability for type set intersection

#460016 opened 1 month ago by Robert Griesemer

[release-branch.go1.18] use strict comparability for type set intersection

#460015 opened 1 month ago by Robert Griesemer

use strict comparability for type set intersection

#459816 opened 1 month ago by Robert Griesemer

report type mismatch error when conversion is impossible

#457055 opened 1 month ago by Robert Griesemer

avoid sorting all errors when matching errors

#456335 opened 2 months ago by Robert Griesemer

always rename type parameters during inference

#456236 opened 2 months ago by Robert Findley

use commentMap to collect error comments

#456137 opened 2 months ago by Robert Griesemer

add commentMap and test

#456125 opened 2 months ago by Robert Griesemer

distinguish between substring and regexp error patterns

#455755 opened 2 months ago by Robert Griesemer

better error message for invalid method expression

#455335 opened 2 months ago by Robert Griesemer

better error message for failing constraint type inference

#455278 opened 2 months ago by Robert Griesemer

do not abort constraint type inference eagerly

#454655 opened 2 months ago by Robert Griesemer

make the new comparable semantics the default

#454575 opened 2 months ago by Robert Griesemer

make the new comparable semantics the default

#453978 opened 2 months ago by Robert Griesemer

report empty type sets in operand descriptions

#452535 opened 2 months ago by Robert Griesemer

better variable names, cleanups in test

#452455 opened 2 months ago by Robert Griesemer

skip crypto/internal/bigmod/_asm in TestStdlib

#452437 opened 2 months ago by Cherry Mui

replace some Errorf calls with Error calls (cleanup)

#451815 opened 2 months ago by Robert Griesemer

replace (internal) writePackage with packagePrefix

#451795 opened 2 months ago by Robert Griesemer

ensure signatures are instantiated if all type args are provided

#451436 opened 2 months ago by Robert Findley

limit nesting depth in typeWriter

#451015 opened 2 months ago by Robert Griesemer

ensure invalid generic types are marked as invalid

#449275 opened 2 months ago by Robert Findley

implement type checking of "clear" built-in

#448076 opened 3 months ago by Robert Griesemer

avoid formatting unneeded causes

#446295 opened 3 months ago by Alan Donovan

use correct shift value when typechecking constant shift

#445515 opened 3 months ago by Robert Griesemer

implement alternative comparable semantics

#444635 opened 3 months ago by Robert Griesemer

remove special handling for .go1 files in tests

#444276 opened 3 months ago by Robert Griesemer

remove global goVersion flag (cleanup)

#444275 opened 3 months ago by Robert Griesemer

replace typecheck with mustTypecheck almost everywhere (cleanup)

#443915 opened 3 months ago by Robert Griesemer

simplify test setup in a couple of places (cleanup)

#443779 opened 3 months ago by Robert Griesemer

remove pkgForMode in favor of pkgFor (cleanup)

#443776 opened 3 months ago by Robert Griesemer

consolidate helper functions for tests (cleanup)

#443757 opened 3 months ago by Robert Griesemer

add test verifying types/values of type parameter "constants"

#443756 opened 3 months ago by Robert Griesemer

mention FakeImportC in Package.Import doc comment

#443615 opened 3 months ago by Alan Donovan

remove mode argument from the pkgFiles helper

#442775 opened 3 months ago by Robert Findley

migrate importer usage in tests

#442695 opened 3 months ago by Michael Matloob

remove need for invalidAST prefix in error calls

#441975 opened 3 months ago by Robert Griesemer

add errorcalls_test, apply it, and fix errorf call sites

#441958 opened 3 months ago by Robert Griesemer

replace invalid(AST|Arg|Op) with errorf and message prefix

#441955 opened 3 months ago by Robert Griesemer

use zero error code to indicate unset error code

#439566 opened 4 months ago by Robert Griesemer

use internal/types/errors instead of local error codes

#439563 opened 4 months ago by Robert Griesemer

better error for generic type decl. with missing constraint

#439559 opened 4 months ago by Robert Griesemer

better error for generic type decl. with missing constraint

#439476 opened 4 months ago by Robert Griesemer

better error if there's a field with the name of a missing method

#438856 opened 4 months ago by Robert Griesemer

use consistent error messages for invalid struct literals

#438855 opened 4 months ago by Robert Griesemer

use "generic" rather than "parameterized" in error messages

#436815 opened 4 months ago by Robert Griesemer

more concise error messages for cycle errors

#436295 opened 4 months ago by Robert Griesemer

use "assignment mismatch: x variables but y values" error message

#436175 opened 4 months ago by Robert Griesemer

use "invalid operation: x rel y (cause)" for comparison error messages

#435618 opened 4 months ago by Robert Griesemer

use 2nd operand position for comparison type mismatch errors

#435555 opened 4 months ago by Robert Griesemer

consistently use "cause" instead of "reason" for error details (cleanup)

#435418 opened 4 months ago by Robert Griesemer

remove (C/c)ompilerErrorMessages flag - not needed anymore

#435416 opened 4 months ago by Robert Griesemer

use "unknown field f in struct literal of type S" in error messages

#434815 opened 4 months ago by Robert Griesemer

use "multiple-value" instead "n-valued" in error messages

#434735 opened 4 months ago by Robert Griesemer

uniformly use "cannot convert X to type T"

#433276 opened 4 months ago by Robert Griesemer

provide error codes where they were missing

#433195 opened 4 months ago by Robert Griesemer

use "invalid recursive type" instead of "illegal cycle" in error messages

#433055 opened 4 months ago by Robert Griesemer

use "cannot convert... to type..." instead of "cannot convert... to..."

#432655 opened 4 months ago by shaoliming

unify error message to "cannot use ... as ... value in assignment"

#432641 opened 4 months ago by cuiweixie

use "assignment mismatch: ..." error message

#432640 opened 4 months ago by cuiweixie

unify error message to "cannot convert .. to type ..."

#432639 opened 4 months ago by cuiweixie

unify error message to "invalid recursive type"

#432638 opened 4 months ago by cuiweixie

unify error message to "invalid operation: shifted operand"

#432637 opened 4 months ago by cuiweixie

unify error message to "invalid operation: cannot compare..."

#432636 opened 4 months ago by cuiweixie

use "and not used" instead of "but not used" in error messages

#432557 opened 4 months ago by Robert Griesemer

report "undefined: p.x" instead of "x not declared by package p"

#432556 opened 4 months ago by Robert Griesemer

report "undefined: x" instead of "undeclared name: x"

#432555 opened 4 months ago by Robert Griesemer

[release-branch.go1.19] allow (string...) signature with NewSignatureType

#431935 opened 4 months ago by Robert Griesemer

[release-branch.go1.18] allow (string...) signature with NewSignatureType

#431915 opened 4 months ago by Robert Griesemer

improve readability of _InvalidUntypedConversion docs

#430538 opened 4 months ago by Ali Yousefi Sabzevar

improve readability of _InvalidUntypedConversion docs

#430537 opened 4 months ago by Ali Yousefi Sabzevar

improve readability of _InvalidUntypedConversion docs

#430495 opened 4 months ago by Ali Yousefi Sabzevar

allow (string...) signature with NewSignatureType

#430455 opened 4 months ago by Robert Griesemer

don't print function parameter names when showing type differences

#430416 opened 4 months ago by Robert Griesemer

consistently use _UnsupportedFeature error code

#429735 opened 5 months ago by Robert Griesemer

implement slice-to-array conversions

#428938 opened 5 months ago by Robert Griesemer

use strings.Builder

#428135 opened 5 months ago by cuiweixie

use strings.Builder instead of bytes.Buffer where possible

#428094 opened 5 months ago by Robert Griesemer

use function name position for init errors

#427775 opened 5 months ago by Robert Griesemer

move shared tests into internal/types/testdata

#427674 opened 5 months ago by Robert Griesemer

exclude tests that need cgo.Incomplete

#427394 opened 5 months ago by Cuong Manh Le

consolidate testdata/fixedbugs test files

#427236 opened 5 months ago by Robert Griesemer

move notinheap tests to fixedbugs directory

#427142 opened 5 months ago by Cuong Manh Le

test shifts that are disabled in shared test file

#426661 opened 5 months ago by Robert Griesemer

establish type-checker specific local tests

#426660 opened 5 months ago by Robert Griesemer

consolidate testdata/fixedbugs/issue46404.go

#426656 opened 5 months ago by Robert Griesemer

consolidate a test file with different syntax errors

#426554 opened 5 months ago by Robert Griesemer

use singular in version error messages

#426477 opened 5 months ago by Robert Griesemer

convert lastID to atomic type

#426084 opened 5 months ago by cuiweixie

consolidate testdata/check test files

#425735 opened 5 months ago by Robert Griesemer

provide a better error message for [...] array types

#425715 opened 5 months ago by Robert Griesemer

avoid declared but not used error for a couple of cases

#425714 opened 5 months ago by Robert Griesemer

remove support for "ERROR HERE" error markers in tests

#425674 opened 5 months ago by Robert Griesemer

add more tests for unsafe.Slice/SliceData/String/StringData

#425454 opened 5 months ago by Robert Griesemer

match types2 string when printing composite literals

#425006 opened 5 months ago by Robert Griesemer

match types2 errors for incorrect method receiver count

#424934 opened 5 months ago by Robert Griesemer

match types2 errors for missing index expressions

#424906 opened 5 months ago by Robert Griesemer

match types2 error for invalid map key

#424905 opened 5 months ago by Robert Griesemer

remove machinery to select parsing mode (cleanup)

#424900 opened 5 months ago by Robert Griesemer

remove TODO in testdata/examples/types.go

#424714 opened 5 months ago by Robert Griesemer

consolidate testdata/spec test files

#424675 opened 5 months ago by Robert Griesemer

consolidate testdata/examples test files

#424674 opened 5 months ago by Robert Griesemer

match types2 error msg formatting for conversion errors

#424537 opened 5 months ago by Robert Griesemer

check integer constant literal overflow

#424055 opened 5 months ago by Robert Griesemer

skip comparison for operands with invalid types

#424054 opened 5 months ago by Robert Griesemer

optimize instance lookup in LookupFieldOrMethod

#423935 opened 5 months ago by Robert Findley

add support for unsafe.{String,StringData,SliceData}

#423754 opened 5 months ago by cuiweixie

add support for unsafe.{String,StringData,SliceData}

#423735 opened 5 months ago by cuiweixie

implement unsafe.SliceData

#423715 opened 5 months ago by cuiweixie

implement unsafe.StringData

#423675 opened 5 months ago by cuiweixie

implement unsafe.String

#423614 opened 5 months ago by cuiweixie

don't build unnecessary error strings in implements

#423360 opened 5 months ago by Robert Findley

correct alignment of atomic.Int64

#417555 opened 6 months ago by Austin Clements

document that exported predicates are unspecified for invalid type arguments

#415574 opened 7 months ago by Robert Griesemer

re-enable a couple of commented out tests

#415156 opened 7 months ago by Robert Griesemer

better errors for == when type sets are empty

#413934 opened 7 months ago by Robert Griesemer

print qualified object names in cycle errors

#413895 opened 7 months ago by Robert Griesemer

fix parameter order dependence in type inference

#413459 opened 7 months ago by Robert Griesemer

add test case for issue for coverage

#412235 opened 7 months ago by Robert Griesemer

consistently write "x | y" rather than "x|y" for unions

#410955 opened 8 months ago by Robert Griesemer

better error message for invalid use of constraint type

#410954 opened 8 months ago by Robert Griesemer

use | rather than ∪ when printing term lists

#410894 opened 8 months ago by Robert Griesemer

better error message if type is not in type set

#410876 opened 8 months ago by Robert Griesemer

only set instance context if packages match

#410416 opened 8 months ago by Robert Findley

simplify implementation of validType (fix TODO)

#410294 opened 8 months ago by Robert Griesemer

use type nest to detect type cycles (fix validType)

#409694 opened 8 months ago by Robert Griesemer

make validType0 walk/check more accurate

#408818 opened 8 months ago by David Chase

don't panic with invalid recursive generic type

#406849 opened 8 months ago by Robert Griesemer

detect dupl. map keys in comp. literals with generic key type

#406555 opened 8 months ago by Robert Griesemer

[release-branch.go1.18] use a type lookup by identity in method lookup

#405117 opened 9 months ago by Robert Findley

ensure that named types never expand infinitely

#404885 opened 9 months ago by Robert Findley

store Named instance information separately

#404884 opened 9 months ago by Robert Findley

eliminate methodList in favor of just using Named.mu

#404883 opened 9 months ago by Robert Findley

include position information when assertions fail

#404881 opened 9 months ago by Robert Findley

factor out Named.expandUnderlying

#404879 opened 9 months ago by Robert Findley

remove support for type type inference

#404877 opened 9 months ago by Robert Findley

remove Named.once in favor of monotonic state

#404875 opened 9 months ago by Robert Findley

remove redundant calls to Named.resolve

#404874 opened 9 months ago by Robert Findley

fix TestStdlib

#404474 opened 9 months ago by Filippo Valsorda

use a type lookup by identity in method lookup

#404099 opened 9 months ago by Robert Findley

[release-branch.go1.18] delay the check for conflicting struct field names

#403754 opened 9 months ago by Robert Findley

delay the check for conflicting struct field names

#403455 opened 9 months ago by Robert Findley

use comma ok

#402119 opened 9 months ago by Park Zhou

add loong64 to gcArchSizes

#401576 opened 9 months ago by Robert Findley

use error_.errorf for reporting related error information

#400825 opened 9 months ago by Robert Findley

introduce the error_ type to match types2

#400824 opened 9 months ago by Robert Findley

remove unnecessary indirection when reporting errors

#400823 opened 9 months ago by Robert Findley

[release-branch.go1.18] fix overlap test for union termlist

#398154 opened 10 months ago by Robert Griesemer

fix overlap test for union termlist

#397695 opened 10 months ago by Robert Griesemer

[release-branch.go1.18] don't report errors for untyped int shifts on Go < 1.13

#397680 opened 10 months ago by Robert Findley

[release-branch.go1.18] clarify that contexts do not guarantee deduplication

#397674 opened 10 months ago by Robert Findley

no "imported but not used" error for unimported packages

#396875 opened 10 months ago by Robert Griesemer

better error message for invalid type parameter term

#396874 opened 10 months ago by Robert Griesemer

add commentary on (non-)guarantees when using contexts

#396776 opened 10 months ago by Robert Findley

don't report errors for untyped int shifts on Go < 1.13

#396775 opened 10 months ago by Robert Findley

clarify that contexts do not guarantee deduplication

#396536 opened 10 months ago by Robert Findley

use declaring interface as receiver for interface methods

#396516 opened 10 months ago by Robert Griesemer

better error message for some invalid receiver errors (cleanup)

#396298 opened 10 months ago by Robert Griesemer

better error message for blank interface method name (cleanup)

#396297 opened 10 months ago by Robert Griesemer

better index-out-of-bounds error message (cleanup)

#396296 opened 10 months ago by Robert Griesemer

[release-branch.go1.18] preserve parent scope when substituting receivers

#395680 opened 10 months ago by Robert Findley

preserve parent scope when substituting receivers

#395538 opened 10 months ago by Robert Findley

set an origin object for vars and funcs

#395535 opened 10 months ago by Robert Findley

clean up a few typos, and an unused const

#395434 opened 10 months ago by Robert Findley

report struct type for literals with too few/many elements

#394914 opened 10 months ago by Robert Griesemer

remove uses of "type list" and "operational type" (cleanup)

#394656 opened 10 months ago by Robert Griesemer

use new flag mechanims to handle importC test

#393714 opened 10 months ago by Robert Griesemer

remove predecl. test functions from ordinary tests

#393659 opened 10 months ago by Robert Griesemer

rename testfile suffixes from .src to .go

#393658 opened 10 months ago by Robert Griesemer

rename testfile suffixes from .go2 to .go

#393657 opened 10 months ago by Robert Griesemer

implement flexible flag-setting mechanism for tests

#393514 opened 10 months ago by Robert Griesemer

remove mechanism to exclude tests for unified build

#393438 opened 10 months ago by Robert Griesemer

ensure we have a fully resolved type in validType

#393436 opened 10 months ago by Robert Griesemer

add additional generic cases for the Selections API

#393372 opened 10 months ago by Robert Findley

add an assertion that named type origin is idempotent

#393368 opened 10 months ago by Robert Findley

better error msg when using fallthrough in type switch

#392759 opened 10 months ago by Robert Griesemer

re-enable panic if unification stack-overflows

#392755 opened 10 months ago by Robert Griesemer

alias type declarations may refer to constraint types

#392715 opened 10 months ago by Robert Griesemer

[release-branch.go1.18] use correct underlying type in union set computation

#392577 opened 10 months ago by Robert Griesemer

use correct underlying type in union set computation

#392575 opened 10 months ago by Robert Griesemer

factor out isInterface(x) && !isTypeParam(x) (cleanup)

#391834 opened 11 months ago by Robert Griesemer

[release-branch.go1.18] remove incorrect assertion (don't crash)

#391796 opened 11 months ago by Robert Griesemer

remove incorrect assertion (don't crash)

#391615 opened 11 months ago by Robert Griesemer

[release-branch.go1.18] pointer base types cannot be type constraints

#391357 opened 11 months ago by Robert Griesemer

[release-branch.go1.18] clarify documentation with respect to generic types

#391356 opened 11 months ago by Robert Findley

[release-branch.go1.18] disable field accesses through type parameters

#391355 opened 11 months ago by Robert Griesemer

disallow interface vs type parameter comparison

#391315 opened 11 months ago by Robert Griesemer

pointer base types cannot be type constraints

#391275 opened 11 months ago by Robert Griesemer

clarify documentation with respect to generic types

#391154 opened 11 months ago by Robert Findley

disable field accesses through type parameters

#391135 opened 11 months ago by Robert Griesemer

[release-branch.go1.18] disable inference for type instances

#390576 opened 11 months ago by Robert Findley

[release-branch.go1.18] document that predicates are undefined on generic types

#390575 opened 11 months ago by Robert Findley

[release-branch.go1.18] record all type instances, even duplicates

#390574 opened 11 months ago by Robert Findley

[release-branch.go1.18] don't crash in selectors referring to the type being declared

#390423 opened 11 months ago by Robert Griesemer

[release-branch.go1.18] correctly include comparable in type set intersection

#390419 opened 11 months ago by Robert Griesemer

don't crash in selectors referring to the type being declared

#390314 opened 11 months ago by Robert Griesemer

record all type instances, even duplicates

#390041 opened 11 months ago by Robert Findley

document that predicates are undefined on generic types

#390039 opened 11 months ago by Robert Findley

correctly include comparable in type set intersection

#390025 opened 11 months ago by Robert Griesemer

[release-branch.go1.18] fix scoping for iteration variables declared by range clause

#390018 opened 11 months ago by Robert Griesemer

[release-branch.go1.18] clarify a comment and add an extra test

#390016 opened 11 months ago by Robert Griesemer

[release-branch.go1.18] correctly consider ~ (tilde) in constraint type inference

#390015 opened 11 months ago by Robert Griesemer

fix scoping for iteration variables declared by range clause

#389594 opened 11 months ago by Robert Griesemer

clarify a comment and add an extra test

#388294 opened 11 months ago by Robert Griesemer

fix string to type parameter conversions

#388254 opened 11 months ago by Robert Griesemer

report an error for x.sel where x is a built-in

#388054 opened 11 months ago by Robert Griesemer

revert documentation for Type.Underlying

#388036 opened 11 months ago by Robert Findley

correctly consider ~ (tilde) in constraint type inference

#387977 opened 11 months ago by Robert Griesemer

experiment with returning a synthetic Obj for instances

#387955 opened 11 months ago by Robert Findley

disable inference for type instances

#387934 opened 11 months ago by Robert Findley

improved tracing output throughout (debugging support)

#387919 opened 11 months ago by Robert Griesemer

delay receiver type validation

#387918 opened 11 months ago by Robert Griesemer

method recv type parameter count must match base type parameter count

#387836 opened 11 months ago by Robert Griesemer

implement adjCoreType using TypeParam.is

#387774 opened 11 months ago by Robert Griesemer

don't crash if comp. literal element type has no core type

#387676 opened 11 months ago by Robert Griesemer

generalize cleanup phase after type checking

#387417 opened 11 months ago by Robert Griesemer

add "dynamic" flag to comparable predicate

#387055 opened 11 months ago by Robert Griesemer

delete unnecessary slice construction

#386717 opened 11 months ago by Robert Findley

return Universe for (*Package)(nil).Scope()

#385997 opened 11 months ago by Matthew Dempsky

remove unused Interface.obj field

#385996 opened 11 months ago by Matthew Dempsky

add tests for literals in type parameter lists

#385756 opened 11 months ago by Robert Findley

no need to revert tparam renaming in inference results

#385574 opened 11 months ago by Robert Findley

avoid infinitely recursive instantiation

#385494 opened 11 months ago by Robert Findley

add additional tests using core types during unification

#385376 opened 11 months ago by Robert Griesemer

unify core types for unbound type parameters

#385354 opened 11 months ago by Robert Griesemer

better error message for invalid array length

#385255 opened 1 year ago by Robert Griesemer

rename structuralType/String to coreType/String

#384618 opened 1 year ago by Robert Griesemer

better error messages for append

#384615 opened 1 year ago by Robert Griesemer

AssertableTo is undefined for generalized interfaces

#383917 opened 1 year ago by Robert Griesemer

ensure we have an interface before checking constraints

#383834 opened 1 year ago by Robert Griesemer

fix AssertableTo for arbitrary interfaces

#383494 opened 1 year ago by Robert Griesemer

record correct argument type for cap, len

#383474 opened 1 year ago by Robert Griesemer

always use missingMethodReason in checker.Implements

#383054 opened 1 year ago by Robert Griesemer

introduce a typeComparer type to hold parameters for identical

#383015 opened 1 year ago by Robert Findley

simplify Checker.typeAssertion, use same code in both type checkers

#383014 opened 1 year ago by Robert Griesemer

use identical missingMethod in both type checkers

#382858 opened 1 year ago by Robert Griesemer

simplify missingMethodReason

#382694 opened 1 year ago by Robert Griesemer

fix bug in types2.MissingMethod

#382634 opened 1 year ago by Robert Griesemer

remove superflous type parameter length checks

#382614 opened 1 year ago by Robert Griesemer

don't parse type parameters on methods

#382538 opened 1 year ago by Robert Findley

add a const to control recursion panics in unification

#382534 opened 1 year ago by Robert Findley

use same method lookup code in both type checkers

#382461 opened 1 year ago by Robert Griesemer

better error messages for expression switches

#382354 opened 1 year ago by Robert Griesemer

only one operand must be assignable to the other in comparison

#382250 opened 1 year ago by Robert Griesemer

disallow real, imag, complex on type parameters

#382116 opened 1 year ago by Robert Griesemer

fix unification code for defined types

#382076 opened 1 year ago by Robert Griesemer

better error messages for comparisons

#381964 opened 1 year ago by Robert Griesemer

tweak missingMethodReason logic to improve message

#381774 opened 1 year ago by Dan Scales

delete TypeList.String

#381634 opened 1 year ago by Robert Griesemer

shorter list for 2nd phase of function type inference

#381554 opened 1 year ago by Robert Griesemer

delete _TypeSet.includes - not used (cleanup)

#381494 opened 1 year ago by Robert Griesemer

use Checker.implements in operand.assignableTo

#381435 opened 1 year ago by Robert Griesemer

better error reporting for Checker.implements

#381434 opened 1 year ago by Robert Griesemer

remove Qualifier parameter from Checker.implements

#381297 opened 1 year ago by Robert Griesemer

fix implements and identical predicates

#381254 opened 1 year ago by Robert Griesemer

update interface receivers after substituting

#381174 opened 1 year ago by Robert Findley

clean up the set up of error, comparable

#381094 opened 1 year ago by Robert Griesemer

fix composite literal structural typing

#381075 opened 1 year ago by Matthew Dempsky

print underlying type of comparable as "interface{comparable}"

#380754 opened 1 year ago by Robert Griesemer

all interfaces implement comparable (add tests)

#380654 opened 1 year ago by Robert Griesemer

pass the seen map through _TypeSet.IsComparable

#380504 opened 1 year ago by Robert Findley

make each method instantiation independently lazy

#380499 opened 1 year ago by Robert Findley

don't re-instantiate receiver methods

#380498 opened 1 year ago by Robert Findley

panic if named type instances are mutated

#380374 opened 1 year ago by Robert Findley

reorder object processing to avoid broken aliases

#380056 opened 1 year ago by Robert Griesemer

report an error when using a broken alias

#379916 opened 1 year ago by Robert Griesemer

slightly better tracing output (debugging support)

#379836 opened 1 year ago by Robert Griesemer

in SetUnderlying, set Named.fromRHS if not set yet

#379694 opened 1 year ago by Robert Griesemer

use Identical rather than unification in missingMethod

#379540 opened 1 year ago by Robert Findley

validType argument must be *Named type

#379434 opened 1 year ago by Robert Griesemer

consider type parameters for cycle detection

#379414 opened 1 year ago by Robert Griesemer

explicitly check for non-nil type in LookupFieldOrMethod

#379374 opened 1 year ago by Robert Griesemer

use orig. compiler error message for a shift error

#379274 opened 1 year ago by Robert Griesemer

report error for invalid string(1 << s)

#379256 opened 1 year ago by Robert Griesemer

fix checking of bad type switch

#379117 opened 1 year ago by Russ Cox

restore 'too many return values' error for func with no results

#379116 opened 1 year ago by Russ Cox

remove special case for external types in validType

#378675 opened 1 year ago by Robert Griesemer

move validType code into its own file

#378674 opened 1 year ago by Robert Griesemer

use a map instead of a field for marking in validType

#378176 opened 1 year ago by Robert Griesemer

avoid field/method lookup error on invalid types

#378175 opened 1 year ago by Robert Griesemer

fix tracing output for type and expr lists

#377974 opened 1 year ago by Robert Griesemer

prevent unification from recursing endlessly

#377954 opened 1 year ago by Robert Griesemer

make function type inference argument-order independent

#377894 opened 1 year ago by Robert Griesemer

mention type decl scopes in Info.Scopes documentation

#377655 opened 1 year ago by Robert Findley

do not run CTI before FTI

#377594 opened 1 year ago by Robert Griesemer

refer to type parameter if so for interface pointer errors

#377375 opened 1 year ago by Robert Griesemer

better error message for type parameter field access

#376954 opened 1 year ago by Robert Griesemer

better error message when using *interface instead of interface

#376914 opened 1 year ago by Robert Griesemer

disallow multiple blank type parameters

#376058 opened 1 year ago by Robert Griesemer

implement field access for struct structural constraints

#375795 opened 1 year ago by Robert Griesemer

ensure that signature type bounds are interfaces

#375737 opened 1 year ago by Robert Griesemer

remove unused code in lookupFieldOrMethod

#375514 opened 1 year ago by Robert Griesemer

eagerly check that constraints are not type params

#374294 opened 1 year ago by Robert Findley

add position for "have" in failed interface satisfaction

#373634 opened 1 year ago by Emmanuel T Odeke

better error message when using comparable in union

#372954 opened 1 year ago by Robert Griesemer

use compiler error message for undefined operators

#372894 opened 1 year ago by Robert Griesemer

better error message for invalid == on type parameters

#372734 opened 1 year ago by Robert Griesemer

delay "does not satisfy comparable" error until needed

#372594 opened 1 year ago by Robert Griesemer

record types for union subexpressions

#371757 opened 1 year ago by Robert Findley

externalize union type sets

#371756 opened 1 year ago by Robert Findley

record (top-level) union types

#371514 opened 1 year ago by Robert Griesemer

remove TODO that is no longer relevant

#370582 opened 1 year ago by Hossein Zolfi

type assertions to type parameters should be static

#369774 opened 1 year ago by Robert Findley

unexport NewTypeList

#369475 opened 1 year ago by Robert Findley

sort to reduce computational complexity of initOrder

#369434 opened 1 year ago by Robert Findley

[release-branch.go1.17] break cycles in invalid types

#368456 opened 1 year ago by Robert Griesemer

handle case of no specific target types in conversion

#367616 opened 1 year ago by Robert Findley

ensure that constructed type parameters are immutable

#367614 opened 1 year ago by Robert Findley

consider structural restrictions in Implements

#367515 opened 1 year ago by Robert Findley

better error message for missing ~ in constraint

#367199 opened 1 year ago by Robert Griesemer

better error position for instantiation failure

#367198 opened 1 year ago by Robert Griesemer

produce empty type set for invalid ~T

#367197 opened 1 year ago by Robert Griesemer

report types for mismatched call and return statements

#367196 opened 1 year ago by Robert Griesemer

restore original assignment error messages

#367195 opened 1 year ago by Robert Griesemer

print "nil" rather than "untyped nil"

#366277 opened 1 year ago by Robert Griesemer

substitute for type parameters in signatures when comparing type identity

#366178 opened 1 year ago by Robert Findley

use allInteger to check type for shifted operand

#365895 opened 1 year ago by zhouguangyuan

add test for imported constraints pre-1.18

#364937 opened 1 year ago by Robert Findley

use "implements" rather than "satisfies" in error messages

#364936 opened 1 year ago by Robert Findley

remove unneccesary tests in implements and lookup

#364935 opened 1 year ago by Robert Findley

implement Checker.implements

#364934 opened 1 year ago by Robert Findley

better position for invalid slice indices error

#364902 opened 1 year ago by Robert Findley

better position for "3-index slice of string" error

#364901 opened 1 year ago by Robert Findley

move match function to end of file (cleanup)

#364900 opened 1 year ago by Robert Findley

allow slicing for operands with []byte|string type sets

#364899 opened 1 year ago by Robert Findley

optimize common case in structuralType

#364898 opened 1 year ago by Robert Findley

simplify under() and fix a crash

#364897 opened 1 year ago by Robert Findley

remove tparamIsIface flag and corresponding dead code

#364896 opened 1 year ago by Robert Findley

remove asNamed

#364895 opened 1 year ago by Robert Findley

remove a review comment in implicitTypeAndValue

#364894 opened 1 year ago by Robert Findley

set tparamsIsIface to true

#364717 opened 1 year ago by Robert Findley

underlying type of a type parameter is its constraint interface

#364716 opened 1 year ago by Robert Findley

check for non-negative index in tparamIndex

#364715 opened 1 year ago by Robert Findley

complete methods on pointer receivers in missingMethod

#364714 opened 1 year ago by Robert Findley

make sure we are safe for nil in underIs

#364537 opened 1 year ago by Robert Griesemer

match Go 1.17 compiler error messages more closely

#364379 opened 1 year ago by Robert Findley

better error for type assertion/switch on type parameter value

#364378 opened 1 year ago by Robert Findley

remove asTypeParam and simplify some code

#364235 opened 1 year ago by Robert Findley

remove structuralString in favor of inlined code

#364234 opened 1 year ago by Robert Findley

return an error message from Checker.genericType

#363994 opened 1 year ago by Robert Findley

slightly relax notion of structural type

#363991 opened 1 year ago by Robert Findley

refer to structural rather than single underlying type in errors

#363990 opened 1 year ago by Robert Findley

move some functions into different files (cleanup)

#363989 opened 1 year ago by Robert Findley

rename structure to structuralType

#363988 opened 1 year ago by Robert Findley

use type variables consistently in Checker.conversion

#363987 opened 1 year ago by Robert Findley

improve error messages referencing any

#363974 opened 1 year ago by Robert Findley

assign error codes to new errors for Go 1.18

#363874 opened 1 year ago by Robert Findley

copy implicit bit in interface substitution

#363836 opened 1 year ago by Robert Griesemer

return an error from Instantiate on incorrect len(targs)

#363635 opened 1 year ago by Robert Findley

add a test for Context deduplication of hash collisions

#363517 opened 1 year ago by Robert Findley

document nil scope for imported and instantiated Func objects

#363435 opened 1 year ago by Robert Griesemer

rename types.context to types.environment

#363176 opened 1 year ago by Robert Findley

don't set a Config.Context if none is provided

#363175 opened 1 year ago by Robert Findley

when type hashing, canonicalize interfaces

#363115 opened 1 year ago by Robert Findley

when type hashing, use placeholders for type parameters

#363114 opened 1 year ago by Robert Findley

deduplicate signatures with the context

#362801 opened 1 year ago by Robert Findley

re-use type hashing logic in Context.typeHash

#362800 opened 1 year ago by Robert Findley

refactor the Context type map to accept arbitrary types

#362799 opened 1 year ago by Robert Findley

use Identical to verify type identity in the Context map

#362798 opened 1 year ago by Robert Findley

disallow type cycles through type parameter lists

#362756 opened 1 year ago by Robert Findley

rename Checker.cycle to Checker.validCycle

#362755 opened 1 year ago by Robert Findley

report error for incomplete struct composite literal type

#362739 opened 1 year ago by Robert Findley

don't return an array type with invalid length

#362738 opened 1 year ago by Robert Findley

clearer object string for type parameters

#362737 opened 1 year ago by Robert Findley

remove most asX converters (cleanup)

#362617 opened 1 year ago by Robert Findley

check non-generic conversions first

#362616 opened 1 year ago by Robert Findley

minor cleanups in predicates.go

#362615 opened 1 year ago by Robert Findley

rename is_X predicates back to isX (step 2 of 2)

#362554 opened 1 year ago by Robert Findley

make object test an external test

#362538 opened 1 year ago by Robert Findley

rename isX predicates to allX, add simple is_X (step 1 of 2)

#362534 opened 1 year ago by Robert Findley

experiment with disallowing cycles involving type parameters

#362120 opened 1 year ago by Robert Findley

remove qualification from type parameter strings

#360938 opened 1 year ago by Robert Findley

report cause for failing const conversions

#360937 opened 1 year ago by Robert Findley

fix indexing of generic types

#360936 opened 1 year ago by Robert Findley

adjust printing of type parameter in error

#360935 opened 1 year ago by Robert Findley

fix conversions of constants to type parameter

#360934 opened 1 year ago by Robert Findley

avoid closure allocations in mono check

#360815 opened 1 year ago by Matthew Dempsky

differently named types are not assignable

#360759 opened 1 year ago by Robert Findley

disallow lone type parameter on RHS of type declaration

#360758 opened 1 year ago by Robert Findley

implement singleType and structure (type)

#360756 opened 1 year ago by Robert Findley

rename isNamed predicate to hasName

#360755 opened 1 year ago by Robert Findley

clean up asT converters (step 2 of 2)

#360754 opened 1 year ago by Robert Findley

remove confusing debugging output in inference error message

#360554 opened 1 year ago by Robert Griesemer

clean up asT converters (step 1 of 2)

#360477 opened 1 year ago by Robert Findley

generalize assignability to generic types

#360476 opened 1 year ago by Robert Findley

clarify is/underIs semantics and implementation

#360475 opened 1 year ago by Robert Findley

better error messages for empty type sets

#360474 opened 1 year ago by Robert Findley

comp literals to accept type sets with single underlying types

#359877 opened 1 year ago by Robert Findley

slice exprs to accept type sets with single underlying types

#359876 opened 1 year ago by Robert Findley

range clause to accept type sets with single underlying types

#359875 opened 1 year ago by Robert Findley

make built-in to accept type sets with single underlying types

#359874 opened 1 year ago by Robert Findley

fix TypeName.IsAlias for type parameter names

#359656 opened 1 year ago by zhouguangyuan

factor out slice elem computation for copy built-in

#359138 opened 1 year ago by Robert Findley

implement generic conversions

#359137 opened 1 year ago by Robert Findley

add debugging support for delayed actions

#359136 opened 1 year ago by Robert Findley

remove support for type lists

#359135 opened 1 year ago by Robert Findley

move a check into resolver phase

#358518 opened 1 year ago by Robert Findley

remove a stale comment

#358517 opened 1 year ago by Robert Findley

propagate conversion error reason if not assignable

#358174 opened 1 year ago by Nevkontakte

remove subscripts from type parameter names

#357814 opened 1 year ago by Robert Findley

add the Interface.MarkImplicit method

#357796 opened 1 year ago by Robert Findley

always return an underlying type from optype

#357694 opened 1 year ago by Robert Findley

add check that code is monomorphizable

#357449 opened 1 year ago by Matthew Dempsky

print assignment operation for invalid operation errors

#357230 opened 1 year ago by Cuong Manh Le

always accept type parameters when running Manual test

#357050 opened 1 year ago by Robert Griesemer

delay expansion of underlying in typeDecl

#356533 opened 1 year ago by Robert Findley

ensure named types are expanded after type-checking

#356490 opened 1 year ago by Robert Findley

add support for inferring type instances

#356489 opened 1 year ago by Robert Findley

add test case for missing return

#356411 opened 1 year ago by Robert Griesemer

add a test case to ConvertibleTo

#355989 opened 1 year ago by Robert Griesemer

avoid infinite expansion for invalid recursive generic types

#355733 opened 1 year ago by Robert Griesemer

mark implicit interfaces as such

#354991 opened 1 year ago by Robert Findley

accept constraint literals with elided interfaces

#354989 opened 1 year ago by Robert Findley

remove some stale TODOs

#354751 opened 1 year ago by Robert Findley

rename rparamMap to recvTParamMap to match types2

#354694 opened 1 year ago by Robert Griesemer

partial revert of incorrect unification "fix"

#354691 opened 1 year ago by Robert Griesemer

use an identifier map rather than isubst for recv type params

#354643 opened 1 year ago by Robert Findley

implement copy for generic argument types

#354489 opened 1 year ago by Robert Griesemer

export TypeParam.Index and remove TypeParam._SetId

#354370 opened 1 year ago by Robert Findley

break cycles in invalid types

#354349 opened 1 year ago by Robert Griesemer

implement generic slice expressions

#354092 opened 1 year ago by Robert Griesemer

better error message for invalid untyped nil conversion

#354050 opened 1 year ago by Cuong Manh Le

update the recorded function type after inference

#353831 opened 1 year ago by Robert Findley

remove 1.18 APIs that have been replaced

#353570 opened 1 year ago by Robert Findley

switch uses of NewSignature to NewSignatureType (cleanup)

#353399 opened 1 year ago by Robert Griesemer

remove Environment type

#353351 opened 1 year ago by jiahua wang

rename Environment to Context

#353089 opened 1 year ago by Robert Findley

avoid infinite recursion in unification

#353029 opened 1 year ago by Robert Griesemer

add the Interface.IsMethodSet method

#352616 opened 1 year ago by Robert Findley

add a NewSignatureType constructor accepting type parameters

#352615 opened 1 year ago by Robert Findley

substitute placeholder type parameters in arguments during type inference

#352510 opened 1 year ago by Robert Findley

factor out some code, fix/add comments (cleanups)

#352312 opened 1 year ago by Robert Griesemer

delay union element checks

#351971 opened 1 year ago by Robert Griesemer

disallow illegal cycles through Unions

#351829 opened 1 year ago by Robert Findley

avoid "declared but not used errors" for invalid variable initializations

#351670 opened 1 year ago by Robert Griesemer

allow `any` anywhere (as a type)

#351456 opened 1 year ago by Robert Griesemer

add a test for argument error unwrapping

#351338 opened 1 year ago by Robert Findley

don't panic if targs don't match tparams when substituting

#351337 opened 1 year ago by Robert Findley

tweaks to ArgumentError to be more idiomatic

#351335 opened 1 year ago by Robert Findley

make ptrRecv a method hasPtrRecv of Func

#351311 opened 1 year ago by Robert Griesemer

return typeHash value without blanks

#351171 opened 1 year ago by Robert Griesemer

fixes for pointer receivers of instantiated methods

#351149 opened 1 year ago by Robert Griesemer

remove duplicate resolve call

#351119 opened 1 year ago by Robert Griesemer

export Named._Orig as Named.Origin

#350996 opened 1 year ago by Robert Findley

add an additional shift test case

#350410 opened 1 year ago by Robert Griesemer

ensure that we always get a new signature in expandNamed

#350143 opened 1 year ago by Robert Findley

remove the report parameter from infer and inferB

#350049 opened 1 year ago by Robert Findley

spell out 'Type' in type parameter unexported functions

#349771 opened 1 year ago by Koichi Shiraishi

record all instances, not just inferred instances

#349629 opened 1 year ago by Robert Findley

minor cleanup of instantiation

#349429 opened 1 year ago by Robert Findley

implement Identical for *Union types

#349413 opened 1 year ago by Robert Findley

instantiate methods when instantiating Named types

#349412 opened 1 year ago by Robert Findley

eliminate Named.instPos

#349411 opened 1 year ago by Robert Findley

merge Named type loading and expansion

#349410 opened 1 year ago by Robert Findley

remove some unnecessary loading/expansion of Named types

#349409 opened 1 year ago by Robert Findley

rename Environment to Context

#348811 opened 1 year ago by Robert Findley

rename RParams -> RecvTypeParams

#348810 opened 1 year ago by Robert Findley

print correct embedded field name

#348737 opened 1 year ago by Robert Griesemer

reduce number of delayed functions

#348691 opened 1 year ago by Robert Findley

handle recursive type parameter constraints

#348690 opened 1 year ago by Robert Findley

detect constraint type inference cycles

#348689 opened 1 year ago by Robert Findley

add Environment to Config

#348578 opened 1 year ago by Robert Griesemer

spell out 'Type' in type parameter APIs

#348376 opened 1 year ago by Robert Findley

temporarily pin the Checker to Interface during checking

#348371 opened 1 year ago by Robert Findley

do not format TParams when hashing

#348029 opened 1 year ago by Cuong Manh Le

move NewTypeParam off of Checker

#347561 opened 1 year ago by Robert Findley

move typeHash to environment.go

#347560 opened 1 year ago by Robert Findley

make an arbitrary change to test new slowbot syntax

#347406 opened 1 year ago by Robert Findley

systematic detection of missing instantiation

#347391 opened 1 year ago by Robert Findley

[release-branch.go1.17] don't override x.mode before using it

#347149 opened 1 year ago by Robert Griesemer

[release-branch.go1.17] fix panic with nil package name

#347071 opened 1 year ago by Rob Findley

disallow aliases for generic types

#346560 opened 1 year ago by Robert Findley

remove superfluous ordinaryType calls

#346559 opened 1 year ago by Robert Findley

more systematic error handling in typeWriter

#346558 opened 1 year ago by Robert Findley

eliminate typeHashing global variable

#346557 opened 1 year ago by Robert Findley

generalize instanceHash to accept any type, rename to typeHash

#346556 opened 1 year ago by Robert Findley

don't print instance markers for type hashes

#346555 opened 1 year ago by Robert Findley

use a typeWriter to write types (cleanup)

#346554 opened 1 year ago by Robert Findley

do not declare new methods on instantiated types

#346553 opened 1 year ago by Robert Findley

implement TypeList.String (debugging support)

#346552 opened 1 year ago by Robert Findley

remove need for the instance struct

#346551 opened 1 year ago by Robert Findley

address some TODOs (cleanup)

#346550 opened 1 year ago by Robert Findley

fix type set printing and add a test

#346435 opened 1 year ago by Robert Findley

rename IsMethodSet to IsConstraint (cleanup)

#346434 opened 1 year ago by Robert Findley

add error reporting for 1.18 syntax if GoVersion is below 1.18

#346433 opened 1 year ago by Robert Findley

allow composite literals of type parameter type

#346432 opened 1 year ago by Robert Findley

add a test for invalid import of "init"

#346309 opened 1 year ago by Robert Findley

union terms must be instantiated

#346293 opened 1 year ago by Robert Griesemer

types in method expressions must be instantiated

#345970 opened 1 year ago by Quim Muntal

types in type switch cases must be instantiated

#345790 opened 1 year ago by Robert Griesemer

pointer to generic type can be

#345669 opened 1 year ago by qmuntal

don't re-evaluate context string for each function argument (optimization)

#344576 opened 1 year ago by Robert Griesemer

implement NewTypeList and use it instead of composite literals

#344570 opened 1 year ago by Robert Griesemer

implement deduplication of instances using the Environment

#344390 opened 1 year ago by Robert Findley

report argument type for unsafe.OffsetOf

#344254 opened 1 year ago by Robert Griesemer

use TypeList in the Inferred struct

#343934 opened 1 year ago by Robert Findley

use a TypeList type to hold type arguments

#343933 opened 1 year ago by Robert Findley

use []*TypeParam rather than []*TypeName type param lists

#343932 opened 1 year ago by Robert Findley

add the TypeParam.Obj method

#343931 opened 1 year ago by Robert Findley

move to an opaque environment for Instantiate

#343930 opened 1 year ago by Robert Findley

don't override x.mode before using it

#343809 opened 1 year ago by Robert Griesemer

fix method lookup for type-parameter based types

#342991 opened 1 year ago by Robert Griesemer

check if the interface is already complete in Complete

#342749 opened 1 year ago by Robert Findley

return an error from Instantiate

#342671 opened 1 year ago by Robert Findley

change Checker.verify to return an error

#342670 opened 1 year ago by Robert Findley

no need to validate substituted instances

#342669 opened 1 year ago by Robert Findley

superficial changes to align types and types2

#342490 opened 1 year ago by Robert Findley

make Interface.Complete a no-op

#342489 opened 1 year ago by Robert Findley

consolidate verification logic

#342488 opened 1 year ago by Robert Findley

clean up panics in instantiation

#342487 opened 1 year ago by Robert Findley

use the orig object for Named.Obj

#342482 opened 1 year ago by Robert Findley

rename TypeParams to TParamList

#342481 opened 1 year ago by Robert Findley

remove targs from substMap

#342480 opened 1 year ago by Robert Findley

simplify Named.under

#342479 opened 1 year ago by Robert Findley

define Identical for instances

#342478 opened 1 year ago by Robert Findley

merge Instantiate and InstantiateLazy

#342477 opened 1 year ago by Robert Findley

remove Named.SetTArgs

#342476 opened 1 year ago by Robert Findley

parameterized functions must have a body

#342475 opened 1 year ago by Robert Findley

expand is only required for *Named types

#342474 opened 1 year ago by Robert Findley

limit termlist lengths

#342438 opened 1 year ago by Robert Findley

change types2.Union API to accept a list of Terms

#342437 opened 1 year ago by Robert Findley

add defined type to term/termlist tests

#342436 opened 1 year ago by Robert Findley

minor cleanup of writeTParamList

#342435 opened 1 year ago by Robert Findley

fix make with type parameter argument

#342434 opened 1 year ago by Robert Findley

fix range over exprs of type parameter type

#342433 opened 1 year ago by Robert Findley

better names for things (cleanup)

#342432 opened 1 year ago by Robert Findley

cleanup panic calls

#342431 opened 1 year ago by Robert Findley

remove TestIncompleteInterfaces (cleanup)

#342430 opened 1 year ago by Robert Findley

remove unused gcCompatibilityMode flag (cleanup)

#342429 opened 1 year ago by Robert Findley

implement type sets with term lists

#342331 opened 2 years ago by Robert Findley

implement term lists

#342330 opened 2 years ago by Robert Findley

[dev.typeparams] don't expose the TypeSet API for 1.18

#341289 opened 2 years ago by Rob Findley

[dev.typeparams] remove a stale comment (cleanup)

#340010 opened 2 years ago by Rob Findley

[dev.typeparams] switch the TArgs API to NumTArgs/TArg

#340009 opened 2 years ago by Rob Findley

[dev.typeparams] move instance.go contents into named.go (cleanup)

#339677 opened 2 years ago by Rob Findley

[dev.typeparams] print constraint info for type param operands

#339676 opened 2 years ago by Rob Findley

[dev.typeparams] (TypeParam) SetBound -> SetConstraint

#339675 opened 2 years ago by Rob Findley

[dev.typeparams] use type terms to represent unions

#339674 opened 2 years ago by Rob Findley

[dev.typeparams] implement type terms

#339653 opened 2 years ago by Rob Findley

[dev.typeparams] use comparable bit rather than ==() method

#339652 opened 2 years ago by Rob Findley

[dev.typeparams] embedded type cannot be a (pointer to) a type parameter

#339651 opened 2 years ago by Rob Findley

[dev.typeparams] implement TypeParam.Constraint

#339650 opened 2 years ago by Rob Findley

[dev.typeparams] adjust unsafe.Alignof/Offsetof/Sizeof

#339649 opened 2 years ago by Rob Findley

[dev.typeparams] fix TypeParams.At docs

#338430 opened 2 years ago by Matthew Dempsky

[dev.typeparams] backport lazy loading changes from CL 336252

#338369 opened 2 years ago by Rob Findley

[dev.typeparams] remove instance.verify field (cleanup)

#338098 opened 2 years ago by Robert Griesemer

preserve untyped constants on the RHS of a shift expression

#337529 opened 2 years ago by Rob Findley

[dev.typeparams] set tset when constructing interfaces in the universe

#336910 opened 2 years ago by Rob Findley

[dev.typeparams] use the TParams API consistently

#336251 opened 2 years ago by Rob Findley

[dev.typeparams] set type parameter indices when they are bound

#336249 opened 2 years ago by Rob Findley

[dev.typeparams] trigger verification while resolving instance

#335978 opened 2 years ago by Rob Findley

[dev.typeparams] merge instance and Named to eliminate sanitization

#335929 opened 2 years ago by Rob Findley

[dev.typeparams] more consistent handling of predeclared "any"

#335569 opened 2 years ago by Rob Findley

[dev.typeparams] update TypeParam APIs to match types2

#335145 opened 2 years ago by Rob Findley

[dev.typeparams] remove unnecessary guard from NewInterfaceType

#335144 opened 2 years ago by Rob Findley

[dev.typeparams] add some missing APIs for the importer

#335143 opened 2 years ago by Rob Findley

[dev.typeparams] recursive substitution must terminate (bug fix)

#335115 opened 2 years ago by Rob Findley

[dev.typeparams] use scope numbers to identify local types

#335114 opened 2 years ago by Rob Findley

[dev.typeparams] support local defined types

#335113 opened 2 years ago by Rob Findley

[dev.typeparams] don't permit method calls on ptr to type parameter receivers

#335112 opened 2 years ago by Rob Findley

[dev.typeparams] replace optype() with under() in various cases (cleanup)

#335111 opened 2 years ago by Rob Findley

[dev.typeparams] clean up index expr implementation for type parameters

#335110 opened 2 years ago by Rob Findley

[dev.typeparams] disallow "free" type parameter as RHS of a type declaration

#335109 opened 2 years ago by Rob Findley

[dev.typeparams] embedding stand-alone type parameters is not permitted

#335082 opened 2 years ago by Rob Findley

[dev.typeparams] fix generic type indirection

#335081 opened 2 years ago by Rob Findley

[dev.typeparams] interface identity must consider full type set

#335080 opened 2 years ago by Rob Findley

[dev.typeparams] cleanups around receiver type checks

#335079 opened 2 years ago by Rob Findley

[dev.typeparams] implement delete(m, k) where m is of type parameter type

#335078 opened 2 years ago by Rob Findley

[dev.typeparams] implement close(ch) where ch is of type parameter type

#335077 opened 2 years ago by Rob Findley

[dev.typeparams] implement ch <- x where ch is of type parameter type

#335076 opened 2 years ago by Rob Findley

[dev.typeparams] implement <-ch where ch is of type parameter type

#335075 opened 2 years ago by Rob Findley

[dev.typeparams] move methods on *Named into named.go

#335074 opened 2 years ago by Rob Findley

[dev.typeparams] use InstantiateLazy to create instance types (cleanup)

#335073 opened 2 years ago by Rob Findley

[dev.typeparams] move instantiation code to instantiate.go (cleanup)

#335072 opened 2 years ago by Rob Findley

[dev.typeparams] replace types2.Instantiate with Checker.Instantiate

#335071 opened 2 years ago by Rob Findley

[dev.typeparams] move (remaining) type decls into their own files (cleanup)

#335040 opened 2 years ago by Rob Findley

[dev.typeparams] move Interface type decl into interface.go (cleanup)

#335039 opened 2 years ago by Rob Findley

[dev.typeparams] move Signature type decl into signature.go (cleanup)

#335038 opened 2 years ago by Rob Findley

[dev.typeparams] move Struct type decl into struct.go (cleanup)

#335037 opened 2 years ago by Rob Findley

[dev.typeparams] rename newTypeSet -> computeTypeSet

#335036 opened 2 years ago by Rob Findley

[dev.typeparams] make Interface.obj a *TypeName

#335035 opened 2 years ago by Rob Findley

[dev.typeparams] delay interface check for type bounds

#335034 opened 2 years ago by Rob Findley

[dev.typeparams] "comparable" must not be visible before Go 1.18

#335032 opened 2 years ago by Rob Findley

[dev.typeparams] move newTypeSet function into typeset.go

#335031 opened 2 years ago by Rob Findley

[dev.typeparams] move embedding positions from Checker to Interface

#335030 opened 2 years ago by Rob Findley

[dev.typeparams] remove unused *Checker arguments (cleanup)

#335009 opened 2 years ago by Rob Findley

[dev.typeparams] remove typeparams wrappers and aliases

#334895 opened 2 years ago by Rob Findley

[dev.typeparams] introduce type set abstraction for interfaces

#334894 opened 2 years ago by Rob Findley

[dev.typeparams] port lazy import resolution from types2

#334893 opened 2 years ago by Rob Findley

[dev.typeparams] export the Config.GoVersion field

#334533 opened 2 years ago by Rob Findley

fix a bug in package qualification logic

#330629 opened 2 years ago by Rob Findley

in TestCheck/issues.src, import regexp/syntax instead of cmd/compile/internal/syntax

#330431 opened 2 years ago by Bryan C. Mills

in (*Checker).qualifier, mark the current package even if it is not the first

#330253 opened 2 years ago by Bryan C. Mills

in TestStdlib, import from source instead of export data

#330252 opened 2 years ago by Bryan C. Mills

[dev.typeparams] adjust logic for method expression arg naming

#330069 opened 2 years ago by Rob Findley

guard against checking instantiation when generics is disabled

#329793 opened 2 years ago by Rob Findley

[dev.typeparams] report better error for invalid untyped operation

#328869 opened 2 years ago by Cuong Manh Le

[dev.typeparams] fix the type parameter index in applyTypeFunc

#327269 opened 2 years ago by Rob Findley

[dev.typeparams] disallow ~T where T is a defined type or an interface

#326684 opened 2 years ago by Rob Findley

[dev.typeparams] disallow type list handling

#326683 opened 2 years ago by Rob Findley

[dev.typeparams] convert testdata/check tests to type set syntax

#326682 opened 2 years ago by Rob Findley

[dev.typeparams] convert testdata/fixedbugs tests to type set sytax

#326681 opened 2 years ago by Rob Findley

[dev.typeparams] convert testdata/examples tests to type set sytax

#326680 opened 2 years ago by Rob Findley

[dev.typeparams] eliminate need for unpack and asUnion functions

#326679 opened 2 years ago by Rob Findley

[dev.typeparams] clean up type set/union intersection

#326678 opened 2 years ago by Rob Findley

[dev.typeparams] replace Sum type with Union type

#326677 opened 2 years ago by Rob Findley

[dev.typeparams] accept embedded interface elements

#326069 opened 2 years ago by Rob Findley

use flag variable goversion

#325449 opened 2 years ago by Avelino

use flag variable goVersion

#325049 opened 2 years ago by Avelino

[dev.typeparams] factor out constraint satisfaction check

#324759 opened 2 years ago by Rob Findley

[dev.typeparams] simplify Interface accessors

#324757 opened 2 years ago by Rob Findley

[dev.typeparams] re-use existing code for Interface.Complete

#324756 opened 2 years ago by Rob Findley

[dev.typeparams] add Named.SetTParams and Named.Orig methods

#324755 opened 2 years ago by Rob Findley

[dev.typeparams] move signature checking into separate file

#324754 opened 2 years ago by Rob Findley

[dev.typeparams] move struct checking into separate file

#324753 opened 2 years ago by Rob Findley

[dev.typeparams] move interface checking into separate file

#324752 opened 2 years ago by Rob Findley

[dev.typeparams] use correct type parameter list in missingMethod

#324751 opened 2 years ago by Rob Findley

[dev.typeparams] better recv Var for method expressions

#324733 opened 2 years ago by Rob Findley

[dev.typeparams] fix panic with nil package name

#324732 opened 2 years ago by Rob Findley

[dev.typeparams] print "incomplete" for interfaces in debug mode only

#324731 opened 2 years ago by Rob Findley

[dev.typeparams] make TestManual work for directories

#324730 opened 2 years ago by Rob Findley

[dev.typeparams] implement types.Instantiate

#324729 opened 2 years ago by Rob Findley

restrict use of unsafe.{Add,Slice} to go1.17 or newer

#324369 opened 2 years ago by Matthew Dempsky

don't declare 'comparable' when typeparams are disabled

#323609 opened 2 years ago by Rob Findley

unexport the GoVersion configuration option for Go 1.17

#323430 opened 2 years ago by Rob Findley

guard against check==nil in newNamed

#322974 opened 2 years ago by Rob Findley

[dev.typeparams] rename Inferred.Targs to TArgs

#321289 opened 2 years ago by Rob Findley

[dev.typeparams] use Checker-provided type parameter IDs when possible

#321269 opened 2 years ago by Rob Findley

ensure that Named.check is nilled out once it is expanded

#318849 opened 2 years ago by Rob Findley

unskip std and cmd in TestStdlib

#317869 opened 2 years ago by Rob Findley

expose types.Info.Inferred with -tags=typeparams

#317549 opened 2 years ago by Rob Findley

use Checker-provided type parameter IDs when possible

#317472 opened 2 years ago by Rob Findley

add a test case for issue 45985

#317471 opened 2 years ago by Rob Findley

fix potential bugs in santitizer pass

#317291 opened 2 years ago by Rob Findley

expose more API under -tags=typeparams

#317029 opened 2 years ago by Matthew Dempsky

list errors by default in TestManual

#315850 opened 2 years ago by Rob Findley

simplify use of TestManual

#315849 opened 2 years ago by Rob Findley

slice-to-array-pointer conversion requires go1.17

#315809 opened 2 years ago by Rob Findley

add additional test data from types2

#315070 opened 2 years ago by Rob Findley

improve error messages for unexpected ListExprs

#314869 opened 2 years ago by Rob Findley

ensure that error code values do not change in 1.17

#314830 opened 2 years ago by Rob Findley

nest all test data under the testdata directory

#314829 opened 2 years ago by Rob Findley

respect IgnoreFuncBodies for function literals

#314631 opened 2 years ago by Rob Findley