go/types

simplify Checker.resolveBaseTypeName (cleanup)

#630395 opened 2 days ago by Robert Griesemer

better error message position for invalid receiver errors

#630376 opened 2 days ago by Robert Griesemer

disallow new methods on (aliases to) cgo-generated types

#629715 opened 3 days ago by Robert Griesemer

disallow new methods on generic alias and instantiated types

#629080 opened 4 days ago by Robert Griesemer

avoid errors due to missing methods for invalid types

#626997 opened 1 week ago by Robert Griesemer

adjust type-checking of pointer types

#626039 opened 1 week ago by Robert Griesemer

print variadic argument in dotdotdot form in error message

#624335 opened 3 weeks ago by Youlin Feng

better error message when selecting on a built-in

#623756 opened 3 weeks ago by Robert Griesemer

simplify cycle reporting code (minor cleanup)

#622055 opened 1 month ago by Robert Griesemer

avoid data race to object.color_ through dot imports

#621637 opened 1 month ago by Rob Findley

qualify named types in error messages with type kind

#621458 opened 1 month ago by Robert Griesemer

rename kindString to compositeKind and simplify function

#621457 opened 1 month ago by Robert Griesemer

clearer error for invalid const values

#621435 opened 1 month ago by qiulaidongfeng

always try inference over methods when possible

#617896 opened 1 month ago by Robert Griesemer

add additional tracing output in type inference

#617895 opened 1 month ago by Robert Griesemer

always record a type for inner composite literals

#616616 opened 1 month ago by Robert Griesemer

remove non-test uses of Scope.LookupParent

#616337 opened 1 month ago by Robert Griesemer

remove Checker.pos from types2 code - not needed anymore

#616316 opened 1 month ago by Robert Griesemer

move go/types-only Scope methods into scopes2.go

#616261 opened 1 month ago by Robert Griesemer

remove need for Scope.LookupParent from TestObjectString

#616260 opened 1 month ago by Robert Griesemer

replace 2 uses of Scope.LookupParent with Checker.lookup

#616259 opened 1 month ago by Robert Griesemer

remove dependency on Scope.Contains in resolver

#616256 opened 1 month ago by Robert Griesemer

move Checker.indexedElts into literals.go where it belongs

#615635 opened 1 month ago by Robert Griesemer

follow-up on comment in CL 615195

#615535 opened 1 month ago by Robert Griesemer

check that alias type arguments satisfy constraints

#615275 opened 2 months ago by Robert Griesemer

print type parameters for Alias tyoes

#615195 opened 2 months ago by Robert Griesemer

implement underIs, coreType, coreString via typeset iterator

#614240 opened 2 months ago by Robert Griesemer

introduce typeset iterators

#614239 opened 2 months ago by Robert Griesemer

improve recursive type error message

#614084 opened 2 months ago by Max Neverov

better error message when type argument cannot use operator

#613756 opened 2 months ago by qiulaidongfeng

compute effective Go version independent of token.Pos

#613735 opened 2 months ago by Alan Donovan

slightly simplify rangeKeyVal function

#613635 opened 2 months ago by Robert Griesemer

add missing space in error message

#611918 opened 2 months ago by Ian Lance Taylor

add initial README.md

#611335 opened 2 months ago by Robert Griesemer

remove unused argument from Checker.updateExprType0

#611276 opened 2 months ago by Robert Griesemer

factor type checking of func literals and generate go/types code

#610996 opened 2 months ago by Robert Griesemer

factor out endPos call

#610995 opened 2 months ago by Robert Griesemer

factor out opPos computation

#610956 opened 2 months ago by Robert Griesemer

use slices.SortFunc

#610603 opened 2 months ago by Cuong Manh Le

remove unused argument from Checker.compositeLit

#610560 opened 2 months ago by Robert Griesemer

generate literals.go from corresponding types2 source

#610558 opened 2 months ago by Robert Griesemer

factor out isdddArray and inNode helper functions

#610557 opened 2 months ago by Robert Griesemer

factor out code for type checking composite literals

#610556 opened 2 months ago by Robert Griesemer

factor type checking of basic literals and generate go/types code

#610540 opened 2 months ago by Robert Griesemer

[release-branch.go1.23] use max(fileVersion, go1.21) if fileVersion present

#608935 opened 2 months ago by Michael Matloob

use max(fileVersion, go1.21) if fileVersion present

#607955 opened 3 months ago by Michael Matloob

[release-branch.go1.23] unalias tilde terms in underIs

#607635 opened 3 months ago by Tim King

[release-branch.go1.23] Named.cleanup must also handle *Alias types

#606656 opened 3 months ago by Robert Griesemer

fix missing Unalias call in _TypeSet.underIs

#606635 opened 3 months ago by Cuong Manh Le

unalias tilde terms in underIs

#606075 opened 3 months ago by Tim King

Named.cleanup must also handle *Alias types

#605977 opened 3 months ago by Robert Griesemer

fix Named.Underlying in the presence of Alias types

#605757 opened 3 months ago by Robert Griesemer

[release-branch.go1.23] only use fileVersion if 1.21 or greater

#604935 opened 3 months ago by Michael Matloob

clarify Named, Alias, TypeName, Object

#604476 opened 3 months ago by Alan Donovan

only use fileVersion if 1.21 or greater

#603895 opened 3 months ago by Michael Matloob

use slices to simplify the code

#602719 opened 3 months ago by apocelipes

avoid spurious "undefined" errors" for invalid identifiers

#602476 opened 3 months ago by Robert Griesemer

fix typo in comment

#602177 opened 3 months ago by Xin Hao

generate recording.go

#602118 opened 3 months ago by Robert Griesemer

factor out typechecker-specific code from recording.go

#602117 opened 3 months ago by Robert Griesemer

move type recording functionality in its own files

#602116 opened 3 months ago by Robert Griesemer

declare declareTypeParam instead of declareTypeParams (cleanup)

#601955 opened 3 months ago by Robert Griesemer

record type parameters in receiver expressions as uses

#601935 opened 3 months ago by Robert Griesemer

record pointer and parentheses in receiver expressions

#601657 opened 3 months ago by Robert Griesemer

[release-branch.go1.23] fix instantiation of named type with generic alias

#601116 opened 3 months ago by Cuong Manh Le

fix instantiation of named type with generic alias

#601115 opened 4 months ago by Cuong Manh Le

[release-branch.go1.22] fix assertion failure when range over int is not permitted

#598055 opened 4 months ago by Tim King

fix assertion failure when range over int is not permitted

#597356 opened 4 months ago by Tim King

add test for receiver type parametersex-wait-release

#595697 opened 4 months ago by Robert Griesemer

adjust Checker.unpackRecv signature slightlyex-wait-release

#595335 opened 4 months ago by Robert Griesemer

report type name in comp. literal error, if possibleex-wait-release

#595075 opened 5 months ago by Robert Griesemer

remove superfluous if statement (minor cleanup)ex-wait-release

#594975 opened 5 months ago by Robert Griesemer

completely rewrite method receiver type checkingex-wait-release

#594740 opened 5 months ago by Robert Griesemer

fix test name (for debugging)ex-wait-release

#594739 opened 5 months ago by Robert Griesemer

correct NewTypeParam documentation

#593955 opened 5 months ago by Cuong Manh Le

factor out method receiver validationex-wait-release

#593455 opened 5 months ago by Robert Griesemer

slightly reorganize method receiver checkingex-wait-release

#593336 opened 5 months ago by Robert Griesemer

use ":" as start of implicit type switch case scopesex-wait-release

#592675 opened 5 months ago by Robert Griesemer

cleanup of code handling type switch casesex-wait-release

#592616 opened 5 months ago by Robert Griesemer

typecheck cases even if switch expression is invalid

#592555 opened 5 months ago by Robert Griesemer

allow range-over-func to omit iteration variables

#592176 opened 5 months ago by Robert Griesemer

add missing Unalias calls in type unifier

#591975 opened 5 months ago by Robert Griesemer

[release-branch.go1.22] report error for floating-point iteration variable

#590056 opened 5 months ago by Robert Griesemer

report error when using uninstantiated signature alias

#588855 opened 5 months ago by Robert Griesemer

don't lose alias information during unification

#588797 opened 5 months ago by Robert Griesemer

pull up Unalias call to cover all of cycleFinder.typ

#588117 opened 6 months ago by Robert Griesemer

add missing Unalias call to type string functionality

#587940 opened 6 months ago by Robert Griesemer

add missing Unalias call to mono checker

#587939 opened 6 months ago by Robert Griesemer

document why Unalias is not needed in some places

#587820 opened 6 months ago by Robert Griesemer

factor out list substitution code (cleanup)ex-wait-release

#587775 opened 6 months ago by Robert Griesemer

factor out check for updated type arguments (cleanup)

#587676 opened 6 months ago by Robert Griesemer

fixes for alias substitution

#587600 opened 6 months ago by Rob Findley

coreType/String must consider Alias types

#587176 opened 6 months ago by Robert Griesemer

operand.AssignableTo must consider Alias types

#587161 opened 6 months ago by Robert Griesemer

operand.convertibleTo must consider Alias types

#587159 opened 6 months ago by Robert Griesemer

underIs must consider Alias types

#587158 opened 6 months ago by Robert Griesemer

don't panic converting a constant to aliased type parameter

#587157 opened 6 months ago by Robert Griesemer

add missing Unalias calls (clarification)

#587156 opened 6 months ago by Robert Griesemer

fix pointer types check during typecheck conversions

#587075 opened 6 months ago by Cuong Manh Le

better error message for invalid ERROR pattern in tests

#586958 opened 6 months ago by Robert Griesemer

use GOEXPERIMENT to enable alias type parameters

#586956 opened 6 months ago by Robert Griesemer

re-enable suppressed gcimporter tests

#586236 opened 6 months ago by Robert Griesemer

add additional documentation for Underlying

#585456 opened 6 months ago by Rob Findley

add Alias.{TypeParams, SetTypeParams, TypeArgs, Origin}

#583757 opened 6 months ago by Robert Griesemer

factor out type parameter access into genericType

#581817 opened 7 months ago by Robert Griesemer

refactor Checker.rangeStmt for clarity

#581776 opened 7 months ago by Robert Griesemer

simplify Default function

#581775 opened 7 months ago by Robert Griesemer

add Alias.Rhs

#581615 opened 7 months ago by Alan Donovan

simplify numeric range logic

#581295 opened 7 months ago by Robert Griesemer

report error for floating-point iteration variable

#580937 opened 7 months ago by Robert Griesemer

represent any using Alias

#580355 opened 7 months ago by Rob Findley

use correct predicate when asserting comma-ok types

#580075 opened 7 months ago by Robert Griesemer

track gotypesalias non-default behavior

#579936 opened 7 months ago by Robert Griesemer

use types2.Config flag to control Alias node creation

#579935 opened 7 months ago by Robert Griesemer

renable 2x execution of tests with gotypesalias={0,1}

#579298 opened 7 months ago by Alan Donovan

simplify TestUnaliasTooSoonInCycle (cleanup)

#579075 opened 7 months ago by Robert Griesemer

flip the default value of GODEBUG=gotypesalias=1

#577715 opened 7 months ago by Alan Donovan

update package doc

#577375 opened 7 months ago by Alan Donovan

Identical: document the need for consistent symbols

#577015 opened 7 months ago by Alan Donovan

fix bug in premature Unalias of alias cycle

#576975 opened 7 months ago by Alan Donovan

add go1.23 iterator methods for 10 exported typesex-wait-release

#575455 opened 7 months ago by Alan Donovan

[release-branch.go1.21] don't do version checks for embedded types of imported interfaces

#574736 opened 8 months ago by Robert Griesemer

ObjectString: remove only 1 Alias for "type A = RHS"

#574716 opened 8 months ago by Alan Donovan

include link to source in generated files

#574715 opened 8 months ago by Alan Donovan

don't fail fast on Go version errors

#574495 opened 8 months ago by Alan Donovan

track gotypesalias non-default behavior

#572575 opened 8 months ago by Robert Griesemer

do not overwrite nest entries in Checker.validType

#571836 opened 8 months ago by Robert Griesemer

quote user-supplied names in error messages

#571396 opened 8 months ago by Robert Griesemer

don't do version checks for embedded types of imported interfaces

#571137 opened 8 months ago by Robert Griesemer

[release-branch.go1.21] don't do version checks for embedded types of imported interfaces

#571075 opened 8 months ago by Robert Griesemer

consistently report "duplicate method" error in go1.13

#571058 opened 8 months ago by Robert Griesemer

disable incorrect optimization in type validity check

#567976 opened 8 months ago by Robert Griesemer

add tracing to Checker.validType

#567975 opened 8 months ago by Robert Griesemer

better error position for invalid (infinite) types

#567916 opened 8 months ago by Robert Griesemer

generate typeset.go from types2 source

#567776 opened 8 months ago by Robert Griesemer

instantiate generic alias types

#567617 opened 8 months ago by Robert Griesemer

consistently use error_ type for sub-errors (cleanup)

#567616 opened 8 months ago by Robert Griesemer

move Checker.langCompat from version.go to expr.go (cleanup)

#567536 opened 8 months ago by Robert Griesemer

consistently use singular when reporting version errors

#567476 opened 8 months ago by Robert Griesemer

added test case for Checker.CheckExpr

#567215 opened 9 months ago by Robert Griesemer

fix typo in comment

#566858 opened 9 months ago by guoguangwu

initial support for parameterized type aliases

#566856 opened 9 months ago by Robert Griesemer

separate formatting from error handling functions

#566555 opened 9 months ago by Robert Griesemer

call error handler for each sub-error as needed

#566537 opened 9 months ago by Robert Griesemer

generate errors_test.go from types2 source

#566515 opened 9 months ago by Robert Griesemer

remove unreachable func (minor cleanup)

#566135 opened 9 months ago by Robert Griesemer

make error handling more similar

#566096 opened 9 months ago by Robert Griesemer

[release-branch.go1.22] handle Alias types in substitution

#565840 opened 9 months ago by Robert Griesemer

generate mono.go from types2 source

#565839 opened 9 months ago by Robert Griesemer

generate initorder.go from types2 source

#565838 opened 9 months ago by Robert Griesemer

: generate operand.go from types2 source

#565837 opened 9 months ago by Robert Griesemer

: generate assignments.go from types2 source

#565836 opened 9 months ago by Robert Griesemer

handle Alias types in substitution

#565835 opened 9 months ago by Robert Griesemer

generate typestring.go from types2 source

#565438 opened 9 months ago by Robert Griesemer

generate conversions.go from types2 source

#565437 opened 9 months ago by Robert Griesemer

add Func.Signature method

#565375 opened 9 months ago by Alan Donovan

[release-branch.go1.22] ensure that Alias.actual is set in NewAlias

#564356 opened 9 months ago by Rob Findley

generate builtins_test.go from types2 source

#562837 opened 9 months ago by Robert Griesemer

generate builtins.go from types2 source

#562835 opened 9 months ago by Robert Griesemer

factor out hasDots to check for ... arguments in calls (cleanup)

#562777 opened 9 months ago by Robert Griesemer

consistently use ast/syntax.Unparen (cleanup)

#562776 opened 9 months ago by Robert Griesemer

len/cap to be constant for certain type parameter values

#562349 opened 9 months ago by Robert Griesemer

document deterministic method index order and add test

#562347 opened 9 months ago by Robert Griesemer

optimize Named type method lookup

#562297 opened 9 months ago by Robert Griesemer

ensure that Alias.actual is set in NewAlias

#560915 opened 9 months ago by Rob Findley

better errors for non-existing fields or methods

#560055 opened 9 months ago by Robert Griesemer

bail early if we want a type but don't have one

#559335 opened 9 months ago by Robert Griesemer

in struct processing, set name position in types2

#558316 opened 10 months ago by Robert Griesemer

use existing case-insensitive lookup (remove TODO)

#558315 opened 10 months ago by Robert Griesemer

better error msg when type inference fails in a call

#558035 opened 10 months ago by Robert Griesemer

fix range clause checks for constant range expressions

#556398 opened 10 months ago by Robert Griesemer

[release-branch.go1.21] don't lose position info of interface embeddings

#555415 opened 10 months ago by Robert Griesemer

don't lose position info of interface embeddings

#555296 opened 10 months ago by Robert Griesemer

don't lose position info of interface embeddings

#555295 opened 10 months ago by Robert Griesemer

[release-branch.go1.21] don't lose position info of interface embeddings

#555275 opened 10 months ago by Robert Griesemer

typeparams.IndexExpr must not be an ast.Exprex-wait-release

#554395 opened 10 months ago by Rob Findley

eliminate confusing error message

#552475 opened 11 months ago by Jes Cok

report error for range over int if Go version < 1.22

#549459 opened 11 months ago by Robert Griesemer

better error message when missing method is unexported

#549298 opened 11 months ago by Robert Griesemer

avoid confusing error message "have m(T), want m(T)"

#549296 opened 11 months ago by Robert Griesemer

flip message contents for reverse type inference errors

#549055 opened 11 months ago by Robert Griesemer

better error message for cases of reverse type inference

#548995 opened 11 months ago by Robert Griesemer

don't print aliased type (in comments) for Alias types

#548135 opened 11 months ago by Robert Griesemer

add testcase for alias issue

#546455 opened 11 months ago by Robert Griesemer

include AST in instantiatedIdent panic message

#545615 opened 1 year ago by Alan Donovan

fix type checking of ~[]E passing to unsafe builtins

#545395 opened 1 year ago by Cuong Manh Le

set correct Var.scopePos for parameters/results

#544035 opened 1 year ago by Alan Donovan

avoid type inference error if arguments are invalid

#543176 opened 1 year ago by Robert Griesemer

move exported predicates into separate file

#542757 opened 1 year ago by Robert Griesemer

implement Alias proposal (export API)

#541737 opened 1 year ago by Robert Griesemer

add FileVersions map to test Info

#541736 opened 1 year ago by Robert Griesemer

implement Info.PkgNameOf

#541575 opened 1 year ago by Robert Griesemer

remove local version processing in favor of go/version

#541395 opened 1 year ago by Robert Griesemer

always run tests with and without _Alias nodes enabled

#541295 opened 1 year ago by Robert Griesemer

export Info.FileVersions

#540056 opened 1 year ago by Robert Griesemer

enable range over int w/o need for goexperiment

#538718 opened 1 year ago by Robert Griesemer

more concise error if conversion fails due to integer overflow

#538058 opened 1 year ago by Robert Griesemer

fix (*T)(nil)-to-interface conversion bug

#537255 opened 1 year ago by Alan Donovan

[release-branch.go1.21] don't use generics

#535135 opened 1 year ago by Robert Griesemer

[release-branch.go1.21] don't use generics

#535055 opened 1 year ago by Robert Griesemer

[release-branch.go1.21] use a non-generic clone helper

#534917 opened 1 year ago by Dmitri Shuralyov

remove doc link from Func.Pkg comment

#534436 opened 1 year ago by Cuong Manh Le

clarify the documentation for Func.Pkg

#534298 opened 1 year ago by Jonathan Amsterdam

update FileVersions API to match proposal changes

#534018 opened 1 year ago by Robert Griesemer

document unfixable bug at Selection.Indirect

#533935 opened 1 year ago by Alan Donovan

clarify semantics of Selection

#533736 opened 1 year ago by Alan Donovan

don't implicitly modify an argument function's type

#532157 opened 1 year ago by Robert Griesemer

[release-branch.go1.21] don't implicitly modify an argument function's type

#531998 opened 1 year ago by Robert Griesemer

use InvalidSyntaxTree in a couple of places (cleanup)

#529235 opened 1 year ago by Robert Griesemer

introduce `isValid` predicate and use throughout

#528695 opened 1 year ago by Robert Griesemer

fix doc string

#524975 opened 1 year ago by Robert Griesemer

pass *TypeName instead of *Named as def (defined) type

#524897 opened 1 year ago by Robert Griesemer

[release-branch.go1.21] remove order dependency in inference involving channels

#524256 opened 1 year ago by Robert Griesemer

track inferred type state

#523580 opened 1 year ago by Robert Griesemer

use handle struct instead of *Type to track inferred types

#523579 opened 1 year ago by Robert Griesemer

use asNamed(t) instead of t.(*Named) type assertions

#522876 opened 1 year ago by Robert Griesemer

introduce _Alias type node

#521956 opened 1 year ago by Robert Griesemer

remove order dependency in inference involving channels

#521500 opened 1 year ago by Robert Griesemer

[release-branch.go1.21] disable interface inference for versions before Go 1.21

#520601 opened 1 year ago by Robert Griesemer

update generate_test.go (cleanup)

#519856 opened 1 year ago by Robert Griesemer

disable interface inference for versions before Go 1.21

#519855 opened 1 year ago by Robert Griesemer

don't verify infer result if no Config.Error is given

#519775 opened 1 year ago by Robert Griesemer

use correct parameter list when checking argument passing

#519456 opened 1 year ago by Robert Griesemer

move emode computation closer to use (cleanup)

#519436 opened 1 year ago by Robert Griesemer

use exact unification when comparing interface methods

#519435 opened 1 year ago by Robert Griesemer

[release-branch.go1.21] use correct parameter list when checking argument passing

#519417 opened 1 year ago by Robert Griesemer

[release-branch.go1.21] use exact unification when comparing interface methods

#519416 opened 1 year ago by Robert Griesemer

add more detail to unification panic

#518259 opened 1 year ago by Robert Findley

fix panic in allowVersion when pos is invalid

#516738 opened 1 year ago by Robert Findley

use file start position as key for Info.FileVersions

#515656 opened 1 year ago by Robert Griesemer

[release-branch.go1.20] don't panic during interface completion

#515638 opened 1 year ago by Robert Findley

[release-branch.go1.21] don't panic during interface completion

#515636 opened 1 year ago by Robert Findley

don't panic during interface completion

#515555 opened 1 year ago by Robert Findley

collect per-file Go version in Info.FileVersions

#515135 opened 1 year ago by Robert Griesemer

move posVers field into group of package-specific fields (cleanup)

#514998 opened 1 year ago by Robert Griesemer

remove internal constant enableInterfaceInference

#514715 opened 1 year ago by Robert Griesemer

add test cases for generic constraints, types and functions

#514255 opened 1 year ago by Hiro

instantiated interfaces must be concurrency safe

#513015 opened 1 year ago by Rob Findley

add boolean to scopes to indicate if loop's scope is "unshared"

#512718 opened 1 year ago by David Chase

[release-branch.go1.21] a min/max value argument must not be untyped

#511857 opened 1 year ago by Robert Griesemer

a min/max value argument must not be untyped

#511835 opened 1 year ago by Robert Griesemer

[release-branch.go1.21] update documentation for GoVersion

#511699 opened 1 year ago by Rob Findley

make sure info recording is executed in test runs

#511657 opened 1 year ago by Robert Griesemer

update documentation for GoVersion

#511096 opened 1 year ago by Rob Findley

typechecking of range over int, func

#510537 opened 1 year ago by Russ Cox

remove unnecessary assert on pointer size

#508821 opened 1 year ago by Rob Findley

document that NewChecker does not mutate its arguments

#508440 opened 1 year ago by Robert Findley

do not mutate arguments in NewChecker

#508439 opened 1 year ago by Robert Findley

record Config.GoVersion for reporting in Package.GoVersion method

#507975 opened 1 year ago by Russ Cox

add Sizes computation to match gc behaviorex-wait-release

#506856 opened 1 year ago by Cuong Manh Le

add Sizes that match actual gc behaviorwait-release

#506715 opened 1 year ago by Cuong Manh Le

simpler fix for interface unification

#506396 opened 1 year ago by Robert Griesemer

replace TODO with clarifying comment

#506395 opened 1 year ago by Robert Griesemer

record final type for min/max arguments

#506055 opened 1 year ago by Cuong Manh Le

fix interface unification

#505396 opened 1 year ago by Robert Griesemer

more readable inference trace

#505395 opened 1 year ago by Robert Griesemer

avoid spurious "declared and not used" error

#504877 opened 1 year ago by Robert Griesemer

add test cases for generic constraints, types and functions

#504195 opened 1 year ago by Hiro

skip tests that require GOROOT/test if it is not present

#504057 opened 1 year ago by Bryan C. Mills

compiler should not accept invalid declaration of methods on aliases to C types

#503596 opened 1 year ago by cuiweixie

fix Hilbert test for stand-alone run

#502996 opened 1 year ago by Robert Griesemer

use correct reverse inference approach

#501938 opened 1 year ago by Robert Griesemer

fix calc sizeof struct type

#501475 opened 1 year ago by cuiweixie

don't crash when using trace with an invalid argument

#501415 opened 1 year ago by Robert Griesemer

use inexact unification when unifying against core types

#501302 opened 1 year ago by Robert Griesemer

fix method set computation if receiver is a named pointer

#501299 opened 1 year ago by Robert Griesemer

handle named and literal interfaces in interface unification

#500195 opened 2 years ago by Robert Griesemer

remove version check for more lenient constant handling in inference

#499997 opened 2 years ago by Robert Griesemer

report inference instead of assignment failure when types can't match

#499996 opened 2 years ago by Robert Griesemer

use exact matching when unifying constraint method signatures

#499995 opened 2 years ago by Robert Griesemer

better error message for some inference failures

#499639 opened 2 years ago by Robert Griesemer

don't use user string as format string

#499275 opened 2 years ago by Robert Griesemer

add unifyMode to unifier, pass it through

#498955 opened 2 years ago by Robert Griesemer

use exact unification for component types

#498895 opened 2 years ago by Robert Griesemer

fix incorrect logic in assignability check

#498400 opened 2 years ago by Robert Griesemer

don't infer type argument for unused parameter in interfaces

#498315 opened 2 years ago by Robert Griesemer

set correct Pos for T in struct{p.T}

#497882 opened 2 years ago by Alan Donovan

enable interface inference

#497657 opened 2 years ago by Robert Griesemer

consider shared methods when unifying against interfaces

#497656 opened 2 years ago by Robert Griesemer

require CGO for TestIssue59944

#497436 opened 2 years ago by Rob Findley

consider shared methods when unifying against interfaces

#497015 opened 2 years ago by Robert Griesemer

remove unnecessary pkg argument from verifyVersion

#496919 opened 2 years ago by Robert Griesemer

keep inferring type arguments from constraints for -lang < go1.21

#496917 opened 2 years ago by Robert Griesemer

type-check built-ins even if there's a version error

#496415 opened 2 years ago by Robert Griesemer

fix comments in unify.go

#496355 opened 2 years ago by Robert Griesemer

more flexible type unification of interface types

#496256 opened 2 years ago by Robert Griesemer

remove unnecessary assignment (minor cleanup)

#496255 opened 2 years ago by Robert Griesemer

fix typos in comments

#496136 opened 2 years ago by Oleksandr Redko

factor out type matching in binary operations

#496096 opened 2 years ago by Robert Griesemer

implement min/max builtins

#496038 opened 2 years ago by Robert Griesemer

reduce differences between go/types and types2 builtins.go

#495615 opened 2 years ago by Robert Griesemer

remove argument "getter" use from Checker.builtins (cleanup)

#495515 opened 2 years ago by Robert Griesemer

remove superfluous argument test in Checker.arguments

#495395 opened 2 years ago by Robert Griesemer

assert that builtin reports valid operand mode upon success

#495299 opened 2 years ago by Robert Griesemer

minor refactoring of missingMethod following CL 494615

#494617 opened 2 years ago by Rob Findley

be sure to type-check wrong methods in missingMethod

#494615 opened 2 years ago by Rob Findley

call recordInstance in instantiateSignature

#494457 opened 2 years ago by Robert Griesemer

move xlist next to targs in Checker.arguments signature

#494121 opened 2 years ago by Robert Griesemer

control type inference in Checker.funcInst via infer argument

#494118 opened 2 years ago by Robert Griesemer

permit partially instantiated functions as function arguments

#494116 opened 2 years ago by Robert Griesemer

explicitly look for nil type arguments in infer

#494115 opened 2 years ago by Robert Griesemer

resolve cgo base type names

#493877 opened 2 years ago by Rob Findley

move functions for untyped constants into const.go

#493715 opened 2 years ago by Robert Griesemer

remove genericMultiExpr (inline it in genericExprList)

#493557 opened 2 years ago by Robert Griesemer

better error message for bad assignment

#492875 opened 2 years ago by Robert Griesemer

infer minimum default type for untyped arguments

#492835 opened 2 years ago by Robert Griesemer

exclude untyped nil arguments early in type inference

#492695 opened 2 years ago by Robert Griesemer

factor out maximum type computation

#492619 opened 2 years ago by Robert Griesemer

rename generic function arguments

#492516 opened 2 years ago by Robert Griesemer

make Checker.renameTParams work on any type

#492515 opened 2 years ago by Robert Griesemer

rename allowVersionf to verifyVersionf

#492236 opened 2 years ago by Robert Griesemer

remove Config.EnableReverseTypeInference flag

#491798 opened 2 years ago by Robert Griesemer

consider generic functions in inference simplify step

#491797 opened 2 years ago by Robert Griesemer

use version data type instead of major,minor ints

#491795 opened 2 years ago by Robert Griesemer

combine version check with version error reporting

#491715 opened 2 years ago by Robert Griesemer

isParameterized must be able to handle tuples

#490695 opened 2 years ago by Robert Griesemer

remove parse (we only need mustParse for tests)

#490015 opened 2 years ago by Robert Griesemer

call mustParse when using mustTypecheck

#489995 opened 2 years ago by Robert Griesemer

add test case for CL 486398

#487335 opened 2 years ago by Russ Cox

abort type unification if no progress is made

#487197 opened 2 years ago by Robert Griesemer

extract package name from test sources automatically

#486617 opened 2 years ago by Robert Griesemer

fix version downgrade bug without Config.GoVersion

#486398 opened 2 years ago by Russ Cox

be deliberate with Checker.use in Checker.assignVar

#486215 opened 2 years ago by Robert Griesemer

don't panic for invalid assignments of comma-ok expressions

#486135 opened 2 years ago by Robert Griesemer

consistently set x.mode in Checker.assignment

#485875 opened 2 years ago by Robert Griesemer

fix panic in reverse type inference when -lang<go1.18

#484757 opened 2 years ago by Rob Findley

factor out type parameter renaming from type inference

#484655 opened 2 years ago by Robert Griesemer

(slightly) refactor tpWalker.isParameterized (cleanup)

#484615 opened 2 years ago by Robert Griesemer

update TestStdlib to type-check concurrently

#484540 opened 2 years ago by Rob Findley

add a test for const initializer panic

#484376 opened 2 years ago by Rob Findley

factor out inference cycle detector (cleanup)

#484158 opened 2 years ago by Robert Griesemer

generalize tparamIndex to arbitrary type parameter lists

#483995 opened 2 years ago by Robert Griesemer

implement reverse type inference for function arguments

#483935 opened 2 years ago by Robert Griesemer

adjust Check.funcInst signature

#480316 opened 2 years ago by Robert Griesemer

slightly tighter checks in Checker.use

#479897 opened 2 years ago by Robert Griesemer

better error message for some invalid integer array lengths

#479115 opened 2 years ago by Robert Griesemer

make sure array sizes don't overflow to 0

#478921 opened 2 years ago by Robert Griesemer

don't report assignment mismatch errors if there are other errors

#478756 opened 2 years ago by Robert Griesemer

simplify Checker.exprList

#478755 opened 2 years ago by Robert Griesemer

remove return values from Checker.assignVar/initVar

#478717 opened 2 years ago by Robert Griesemer

refactor initVars

#478716 opened 2 years ago by Robert Griesemer

remove unnecessary tests for x.typ == Typ[Invalid]

#478715 opened 2 years ago by Robert Griesemer

more systematic use of Checker.use und useLHS

#478635 opened 2 years ago by Robert Griesemer

refactor assignVars

#478256 opened 2 years ago by Robert Griesemer

adjust Checker.recordCommaOkTypes signature

#478218 opened 2 years ago by Robert Griesemer

refactor multiExpr and exprList

#478016 opened 2 years ago by Robert Griesemer

remove Checker.useLHS - not needed

#477895 opened 2 years ago by Robert Griesemer

use per-file Go version

#476278 opened 2 years ago by Russ Cox

reverse inference of function type arguments

#476075 opened 2 years ago by Robert Griesemer

clean up defined type identity check/unification

#474197 opened 2 years ago by Robert Griesemer

fine-tune inference tracing output (debugging support)

#474135 opened 2 years ago by Robert Griesemer

better error when method is missing due to ambiguity

#473658 opened 2 years ago by Robert Griesemer

avoid 2nd lookup when looking for method on ptr recv

#473655 opened 2 years ago by Robert Griesemer

use "undefined type" rather than "<T>" in have/want error messages

#473255 opened 2 years ago by Robert Griesemer

added clarifying comments, removed TODO in lookup.go

#473075 opened 2 years ago by Robert Griesemer

simplify missingMethod some more (cleanup)

#472915 opened 2 years ago by Robert Griesemer

combine missingMethodCause with missingMethod

#472675 opened 2 years ago by Robert Griesemer

disentangle convoluted logic for missing method cause

#472637 opened 2 years ago by Robert Griesemer

change missingMethod to match MissingMethod signature

#472495 opened 2 years ago by Robert Griesemer

add cause parameter to missingMethod, (new)assertableTo

#472395 opened 2 years ago by Robert Griesemer

consider methods when unifying type parameters and constraints

#472298 opened 2 years ago by Robert Griesemer

add predicate to missingMethod signature

#472297 opened 2 years ago by Robert Griesemer

handle unbound type parameters in switch (cleanup)

#472115 opened 2 years ago by Robert Griesemer

avoid errors for invalid type in return statement

#471438 opened 2 years ago by Cuong Manh Le

better internal comment, added suitable test case

#471019 opened 2 years ago by Robert Griesemer

simplify unification when x == y (pointer identity)

#471018 opened 2 years ago by Robert Griesemer

simplify unification with constraints

#471017 opened 2 years ago by Robert Griesemer

move Checker.infer into infer.go; delete infer2.go

#471015 opened 2 years ago by Robert Griesemer

remove code for infer1

#470995 opened 2 years ago by Robert Griesemer

add isTypeLit predicate

#470919 opened 2 years ago by Robert Griesemer

fix comment in Checker.renameTParams

#470918 opened 2 years ago by Robert Griesemer

use new type inference algorithm exclusively

#470916 opened 2 years ago by Robert Griesemer

point out type parameters with predeclared names in errors

#470075 opened 2 years ago by Robert Griesemer

avoid unused variable error in invalid x.(type) expression

#470015 opened 2 years ago by Robert Griesemer

remove need to store type parameter list in unifier

#466955 opened 2 years ago by Robert Griesemer

simplify unify.inferred signature

#466795 opened 2 years ago by Robert Griesemer

use a comparer struct to control the identical predicate

#464937 opened 2 years ago by Robert Griesemer

simplify symmetric code

#464896 opened 2 years ago by Robert Griesemer

eliminate need to sort arguments for type inference

#464348 opened 2 years ago by Robert Griesemer

avoid recursive invocation when unifying underlying types

#464347 opened 2 years ago by Robert Griesemer

remove (internal) exactUnification flag

#464346 opened 2 years ago by Robert Griesemer

enable new type inference

#464341 opened 2 years ago by Robert Griesemer

unifier constructor to accept type parameters and arguments

#463990 opened 2 years ago by Robert Griesemer

further simplify unification

#463989 opened 2 years ago by Robert Griesemer

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

#463749 opened 2 years ago by Robert Griesemer

better error when trying to use ~ as bitwise operation

#463747 opened 2 years ago by Robert Griesemer

implement simpler type inference (infer2)

#463746 opened 2 years ago by Robert Griesemer

remove misleading example from comment

#463735 opened 2 years ago by Robert Griesemer

move tparamIndex from unify.go into infer.go

#463230 opened 2 years ago by Robert Griesemer

replace unifier type parameter list with a map

#463228 opened 2 years ago by Robert Griesemer

simplify unifier

#463223 opened 2 years ago by Robert Griesemer

refuse pointer to array as argument to "clear" builtin

#463075 opened 2 years ago by Cuong Manh Le

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

#462856 opened 2 years ago by Robert Griesemer

add a test that generated files match types2

#462758 opened 2 years ago by Robert Findley

generate instantiate.go

#461693 opened 2 years ago by Robert Griesemer

provision for generating initorder.go, but disabled for now

#461692 opened 2 years ago by Robert Griesemer

generate infer.go

#461691 opened 2 years ago by Robert Griesemer

factor out type parameter renaming (cleanup)

#461688 opened 2 years ago by Robert Griesemer

factor out type parameter renaming (cleanup)

#461687 opened 2 years ago by Robert Griesemer

more uses of factored functions; generate object_test.go

#461680 opened 2 years ago by Robert Griesemer

generate util_test.go, cosmetic changes to generator.go

#461679 opened 2 years ago by Robert Griesemer

use the same interface method sorting as types2

#461677 opened 2 years ago by Robert Griesemer

use factored parse/typecheck functions, generate hilbert_test.go

#461609 opened 2 years ago by Robert Griesemer

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

#461606 opened 2 years ago by Robert Griesemer

generate unify.go

#461603 opened 2 years ago by Robert Griesemer

allow filename arguments to generator for easier manual use

#461602 opened 2 years ago by Robert Griesemer

factor out position comparison, share more code

#461596 opened 2 years ago by Robert Griesemer

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

#461577 opened 2 years ago by Robert Findley

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

#461495 opened 2 years ago by Robert Griesemer

generate more files from types2 sources

#461083 opened 2 years ago by Robert Griesemer

use nopos instead of token.NoPos to match types2

#461082 opened 2 years ago by Robert Griesemer

make tracing configurable (matching types2)

#461081 opened 2 years ago by Robert Griesemer

minor adjustments (cleanups)

#460996 opened 2 years ago by Robert Griesemer

generate various source files from types2 files

#460761 opened 2 years ago by Robert Griesemer

test that error format strings have matching parentheses/brackets

#460759 opened 2 years ago by Robert Griesemer

use internal/lazyregexp for goVersionRx

#460544 opened 2 years ago by Daniel Martí

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

#460016 opened 2 years ago by Robert Griesemer

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

#460015 opened 2 years ago by Robert Griesemer

use strict comparability for type set intersection

#459816 opened 2 years ago by Robert Griesemer

report type mismatch error when conversion is impossible

#457055 opened 2 years ago by Robert Griesemer

avoid sorting all errors when matching errors

#456335 opened 2 years ago by Robert Griesemer

always rename type parameters during inference

#456236 opened 2 years ago by Robert Findley

use commentMap to collect error comments

#456137 opened 2 years ago by Robert Griesemer

add commentMap and test

#456125 opened 2 years ago by Robert Griesemer

distinguish between substring and regexp error patterns

#455755 opened 2 years ago by Robert Griesemer

better error message for invalid method expression

#455335 opened 2 years ago by Robert Griesemer

better error message for failing constraint type inference

#455278 opened 2 years ago by Robert Griesemer

do not abort constraint type inference eagerly

#454655 opened 2 years ago by Robert Griesemer

make the new comparable semantics the default

#454575 opened 2 years ago by Robert Griesemer

make the new comparable semantics the default

#453978 opened 2 years ago by Robert Griesemer

report empty type sets in operand descriptions

#452535 opened 2 years ago by Robert Griesemer

better variable names, cleanups in test

#452455 opened 2 years ago by Robert Griesemer

skip crypto/internal/bigmod/_asm in TestStdlib

#452437 opened 2 years ago by Cherry Mui

replace some Errorf calls with Error calls (cleanup)

#451815 opened 2 years ago by Robert Griesemer

replace (internal) writePackage with packagePrefix

#451795 opened 2 years ago by Robert Griesemer

ensure signatures are instantiated if all type args are provided

#451436 opened 2 years ago by Robert Findley

limit nesting depth in typeWriter

#451015 opened 2 years ago by Robert Griesemer

ensure invalid generic types are marked as invalid

#449275 opened 2 years ago by Robert Findley

implement type checking of "clear" built-in

#448076 opened 2 years ago by Robert Griesemer

avoid formatting unneeded causes

#446295 opened 2 years ago by Alan Donovan

use correct shift value when typechecking constant shift

#445515 opened 2 years ago by Robert Griesemer

implement alternative comparable semantics

#444635 opened 2 years ago by Robert Griesemer

reveal guesswork in package path

#444439 opened 2 years ago by Alan Donovan

remove special handling for .go1 files in tests

#444276 opened 2 years ago by Robert Griesemer

remove global goVersion flag (cleanup)

#444275 opened 2 years ago by Robert Griesemer

replace typecheck with mustTypecheck almost everywhere (cleanup)

#443915 opened 2 years ago by Robert Griesemer

simplify test setup in a couple of places (cleanup)

#443779 opened 2 years ago by Robert Griesemer

remove pkgForMode in favor of pkgFor (cleanup)

#443776 opened 2 years ago by Robert Griesemer

consolidate helper functions for tests (cleanup)

#443757 opened 2 years ago by Robert Griesemer

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

#443756 opened 2 years ago by Robert Griesemer

mention FakeImportC in Package.Import doc comment

#443615 opened 2 years ago by Alan Donovan

remove mode argument from the pkgFiles helper

#442775 opened 2 years ago by Robert Findley

migrate importer usage in tests

#442695 opened 2 years ago by Michael Matloob

remove need for invalidAST prefix in error calls

#441975 opened 2 years ago by Robert Griesemer

add errorcalls_test, apply it, and fix errorf call sites

#441958 opened 2 years ago by Robert Griesemer

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

#441955 opened 2 years ago by Robert Griesemer

use zero error code to indicate unset error code

#439566 opened 2 years ago by Robert Griesemer

use internal/types/errors instead of local error codes

#439563 opened 2 years ago by Robert Griesemer

better error for generic type decl. with missing constraint

#439559 opened 2 years ago by Robert Griesemer

better error for generic type decl. with missing constraint

#439476 opened 2 years ago by Robert Griesemer

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

#438856 opened 2 years ago by Robert Griesemer

use consistent error messages for invalid struct literals

#438855 opened 2 years ago by Robert Griesemer

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

#436815 opened 2 years ago by Robert Griesemer

more concise error messages for cycle errors

#436295 opened 2 years ago by Robert Griesemer

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

#436175 opened 2 years ago by Robert Griesemer

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

#435618 opened 2 years ago by Robert Griesemer

use 2nd operand position for comparison type mismatch errors

#435555 opened 2 years ago by Robert Griesemer

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

#435418 opened 2 years ago by Robert Griesemer

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

#435416 opened 2 years ago by Robert Griesemer

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

#434815 opened 2 years ago by Robert Griesemer

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

#434735 opened 2 years ago by Robert Griesemer

uniformly use "cannot convert X to type T"

#433276 opened 2 years ago by Robert Griesemer

provide error codes where they were missing

#433195 opened 2 years ago by Robert Griesemer

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

#433055 opened 2 years ago by Robert Griesemer

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

#432655 opened 2 years ago by shaoliming

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

#432641 opened 2 years ago by cuiweixie

use "assignment mismatch: ..." error message

#432640 opened 2 years ago by cuiweixie

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

#432639 opened 2 years ago by cuiweixie

unify error message to "invalid recursive type"

#432638 opened 2 years ago by cuiweixie

unify error message to "invalid operation: shifted operand"

#432637 opened 2 years ago by cuiweixie

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

#432636 opened 2 years ago by cuiweixie

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

#432557 opened 2 years ago by Robert Griesemer

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

#432556 opened 2 years ago by Robert Griesemer

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

#432555 opened 2 years ago by Robert Griesemer

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

#431935 opened 2 years ago by Robert Griesemer

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

#431915 opened 2 years ago by Robert Griesemer

improve readability of _InvalidUntypedConversion docs

#430538 opened 2 years ago by Ali Yousefi Sabzevar

improve readability of _InvalidUntypedConversion docs

#430537 opened 2 years ago by Ali Yousefi Sabzevar

improve readability of _InvalidUntypedConversion docs

#430495 opened 2 years ago by Ali Yousefi Sabzevar

allow (string...) signature with NewSignatureType

#430455 opened 2 years ago by Robert Griesemer

don't print function parameter names when showing type differences

#430416 opened 2 years ago by Robert Griesemer

consistently use _UnsupportedFeature error code

#429735 opened 2 years ago by Robert Griesemer

implement slice-to-array conversions

#428938 opened 2 years ago by Robert Griesemer

use strings.Builder

#428135 opened 2 years ago by cuiweixie

use strings.Builder instead of bytes.Buffer where possible

#428094 opened 2 years ago by Robert Griesemer

use function name position for init errors

#427775 opened 2 years ago by Robert Griesemer

move shared tests into internal/types/testdata

#427674 opened 2 years ago by Robert Griesemer

exclude tests that need cgo.Incomplete

#427394 opened 2 years ago by Cuong Manh Le

consolidate testdata/fixedbugs test files

#427236 opened 2 years ago by Robert Griesemer

move notinheap tests to fixedbugs directory

#427142 opened 2 years ago by Cuong Manh Le

test shifts that are disabled in shared test file

#426661 opened 2 years ago by Robert Griesemer

establish type-checker specific local tests

#426660 opened 2 years ago by Robert Griesemer

consolidate testdata/fixedbugs/issue46404.go

#426656 opened 2 years ago by Robert Griesemer

consolidate a test file with different syntax errors

#426554 opened 2 years ago by Robert Griesemer

use singular in version error messages

#426477 opened 2 years ago by Robert Griesemer

convert lastID to atomic type

#426084 opened 2 years ago by cuiweixie

consolidate testdata/check test files

#425735 opened 2 years ago by Robert Griesemer

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

#425715 opened 2 years ago by Robert Griesemer

avoid declared but not used error for a couple of cases

#425714 opened 2 years ago by Robert Griesemer

remove support for "ERROR HERE" error markers in tests

#425674 opened 2 years ago by Robert Griesemer

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

#425454 opened 2 years ago by Robert Griesemer

match types2 string when printing composite literals

#425006 opened 2 years ago by Robert Griesemer

match types2 errors for incorrect method receiver count

#424934 opened 2 years ago by Robert Griesemer

match types2 errors for missing index expressions

#424906 opened 2 years ago by Robert Griesemer

match types2 error for invalid map key

#424905 opened 2 years ago by Robert Griesemer

remove machinery to select parsing mode (cleanup)

#424900 opened 2 years ago by Robert Griesemer

remove TODO in testdata/examples/types.go

#424714 opened 2 years ago by Robert Griesemer

consolidate testdata/spec test files

#424675 opened 2 years ago by Robert Griesemer

consolidate testdata/examples test files

#424674 opened 2 years ago by Robert Griesemer

match types2 error msg formatting for conversion errors

#424537 opened 2 years ago by Robert Griesemer

check integer constant literal overflow

#424055 opened 2 years ago by Robert Griesemer

skip comparison for operands with invalid types

#424054 opened 2 years ago by Robert Griesemer

optimize instance lookup in LookupFieldOrMethod

#423935 opened 2 years ago by Robert Findley

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

#423754 opened 2 years ago by cuiweixie

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

#423735 opened 2 years ago by cuiweixie

implement unsafe.SliceData

#423715 opened 2 years ago by cuiweixie

implement unsafe.StringData

#423675 opened 2 years ago by cuiweixie

implement unsafe.String

#423614 opened 2 years ago by cuiweixie

don't build unnecessary error strings in implements

#423360 opened 2 years ago by Robert Findley

correct alignment of atomic.Int64

#417555 opened 2 years ago by Austin Clements

document that exported predicates are unspecified for invalid type arguments

#415574 opened 2 years ago by Robert Griesemer

re-enable a couple of commented out tests

#415156 opened 2 years ago by Robert Griesemer

better errors for == when type sets are empty

#413934 opened 2 years ago by Robert Griesemer

print qualified object names in cycle errors

#413895 opened 2 years ago by Robert Griesemer

fix parameter order dependence in type inference

#413459 opened 2 years ago by Robert Griesemer

add test case for issue for coverage

#412235 opened 2 years ago by Robert Griesemer

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

#410955 opened 2 years ago by Robert Griesemer

better error message for invalid use of constraint type

#410954 opened 2 years ago by Robert Griesemer

use | rather than ∪ when printing term lists

#410894 opened 2 years ago by Robert Griesemer

better error message if type is not in type set

#410876 opened 2 years ago by Robert Griesemer

only set instance context if packages match

#410416 opened 2 years ago by Robert Findley

simplify implementation of validType (fix TODO)

#410294 opened 2 years ago by Robert Griesemer

use type nest to detect type cycles (fix validType)

#409694 opened 2 years ago by Robert Griesemer

make validType0 walk/check more accurate

#408818 opened 2 years ago by David Chase

don't panic with invalid recursive generic type

#406849 opened 2 years ago by Robert Griesemer

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

#406555 opened 2 years ago by Robert Griesemer

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

#405117 opened 2 years ago by Robert Findley

ensure that named types never expand infinitely

#404885 opened 2 years ago by Robert Findley

store Named instance information separately

#404884 opened 2 years ago by Robert Findley

eliminate methodList in favor of just using Named.mu

#404883 opened 2 years ago by Robert Findley

include position information when assertions fail

#404881 opened 2 years ago by Robert Findley

factor out Named.expandUnderlying

#404879 opened 2 years ago by Robert Findley

remove support for type type inference

#404877 opened 2 years ago by Robert Findley

remove Named.once in favor of monotonic state

#404875 opened 2 years ago by Robert Findley

remove redundant calls to Named.resolve

#404874 opened 2 years ago by Robert Findley

fix TestStdlib

#404474 opened 2 years ago by Filippo Valsorda

use a type lookup by identity in method lookup

#404099 opened 2 years ago by Robert Findley

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

#403754 opened 2 years ago by Robert Findley

delay the check for conflicting struct field names

#403455 opened 2 years ago by Robert Findley

use comma ok

#402119 opened 2 years ago by Park Zhou

add loong64 to gcArchSizes

#401576 opened 2 years ago by Robert Findley

use error_.errorf for reporting related error information

#400825 opened 2 years ago by Robert Findley

introduce the error_ type to match types2

#400824 opened 2 years ago by Robert Findley

remove unnecessary indirection when reporting errors

#400823 opened 2 years ago by Robert Findley

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

#398154 opened 2 years ago by Robert Griesemer

fix overlap test for union termlist

#397695 opened 2 years ago by Robert Griesemer

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

#397680 opened 2 years ago by Robert Findley

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

#397674 opened 2 years ago by Robert Findley

no "imported but not used" error for unimported packages

#396875 opened 2 years ago by Robert Griesemer

better error message for invalid type parameter term

#396874 opened 2 years ago by Robert Griesemer

add commentary on (non-)guarantees when using contexts

#396776 opened 2 years ago by Robert Findley

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

#396775 opened 2 years ago by Robert Findley

clarify that contexts do not guarantee deduplication

#396536 opened 2 years ago by Robert Findley

use declaring interface as receiver for interface methods

#396516 opened 2 years ago by Robert Griesemer

better error message for some invalid receiver errors (cleanup)

#396298 opened 2 years ago by Robert Griesemer

better error message for blank interface method name (cleanup)

#396297 opened 2 years ago by Robert Griesemer

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

#396296 opened 2 years ago by Robert Griesemer

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

#395680 opened 2 years ago by Robert Findley

preserve parent scope when substituting receivers

#395538 opened 2 years ago by Robert Findley

set an origin object for vars and funcs

#395535 opened 2 years ago by Robert Findley

clean up a few typos, and an unused const

#395434 opened 2 years ago by Robert Findley

report struct type for literals with too few/many elements

#394914 opened 2 years ago by Robert Griesemer

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

#394656 opened 2 years ago by Robert Griesemer

use new flag mechanims to handle importC test

#393714 opened 2 years ago by Robert Griesemer

remove predecl. test functions from ordinary tests

#393659 opened 2 years ago by Robert Griesemer

rename testfile suffixes from .src to .go

#393658 opened 2 years ago by Robert Griesemer

rename testfile suffixes from .go2 to .go

#393657 opened 2 years ago by Robert Griesemer

implement flexible flag-setting mechanism for tests

#393514 opened 2 years ago by Robert Griesemer

remove mechanism to exclude tests for unified build

#393438 opened 2 years ago by Robert Griesemer

ensure we have a fully resolved type in validType

#393436 opened 2 years ago by Robert Griesemer

add additional generic cases for the Selections API

#393372 opened 2 years ago by Robert Findley

add an assertion that named type origin is idempotent

#393368 opened 2 years ago by Robert Findley

better error msg when using fallthrough in type switch

#392759 opened 2 years ago by Robert Griesemer

re-enable panic if unification stack-overflows

#392755 opened 2 years ago by Robert Griesemer

alias type declarations may refer to constraint types

#392715 opened 2 years ago by Robert Griesemer

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

#392577 opened 2 years ago by Robert Griesemer

use correct underlying type in union set computation

#392575 opened 2 years ago by Robert Griesemer

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

#391834 opened 2 years ago by Robert Griesemer

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

#391796 opened 2 years ago by Robert Griesemer

remove incorrect assertion (don't crash)

#391615 opened 2 years ago by Robert Griesemer

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

#391357 opened 2 years ago by Robert Griesemer

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

#391356 opened 2 years ago by Robert Findley

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

#391355 opened 2 years ago by Robert Griesemer

disallow interface vs type parameter comparison

#391315 opened 2 years ago by Robert Griesemer

pointer base types cannot be type constraints

#391275 opened 2 years ago by Robert Griesemer

clarify documentation with respect to generic types

#391154 opened 2 years ago by Robert Findley

disable field accesses through type parameters

#391135 opened 2 years ago by Robert Griesemer

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

#390576 opened 2 years ago by Robert Findley

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

#390575 opened 2 years ago by Robert Findley

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

#390574 opened 2 years ago by Robert Findley

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

#390423 opened 2 years ago by Robert Griesemer

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

#390419 opened 2 years ago by Robert Griesemer

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

#390314 opened 2 years ago by Robert Griesemer

record all type instances, even duplicates

#390041 opened 2 years ago by Robert Findley

document that predicates are undefined on generic types

#390039 opened 2 years ago by Robert Findley

correctly include comparable in type set intersection

#390025 opened 2 years ago by Robert Griesemer

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

#390018 opened 2 years ago by Robert Griesemer

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

#390016 opened 2 years ago by Robert Griesemer

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

#390015 opened 2 years ago by Robert Griesemer

fix scoping for iteration variables declared by range clause

#389594 opened 2 years ago by Robert Griesemer

clarify a comment and add an extra test

#388294 opened 2 years ago by Robert Griesemer

fix string to type parameter conversions

#388254 opened 2 years ago by Robert Griesemer

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

#388054 opened 2 years ago by Robert Griesemer

revert documentation for Type.Underlying

#388036 opened 2 years ago by Robert Findley

correctly consider ~ (tilde) in constraint type inference

#387977 opened 2 years ago by Robert Griesemer

experiment with returning a synthetic Obj for instances

#387955 opened 2 years ago by Robert Findley

disable inference for type instances

#387934 opened 2 years ago by Robert Findley

improved tracing output throughout (debugging support)

#387919 opened 2 years ago by Robert Griesemer

delay receiver type validation

#387918 opened 2 years ago by Robert Griesemer

method recv type parameter count must match base type parameter count

#387836 opened 2 years ago by Robert Griesemer

implement adjCoreType using TypeParam.is

#387774 opened 2 years ago by Robert Griesemer

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

#387676 opened 2 years ago by Robert Griesemer

generalize cleanup phase after type checking

#387417 opened 2 years ago by Robert Griesemer

add "dynamic" flag to comparable predicate

#387055 opened 2 years ago by Robert Griesemer

delete unnecessary slice construction

#386717 opened 2 years ago by Robert Findley

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

#385997 opened 2 years ago by Matthew Dempsky

remove unused Interface.obj field

#385996 opened 2 years ago by Matthew Dempsky

add tests for literals in type parameter lists

#385756 opened 2 years ago by Robert Findley

no need to revert tparam renaming in inference results

#385574 opened 2 years ago by Robert Findley

avoid infinitely recursive instantiation

#385494 opened 2 years ago by Robert Findley

add additional tests using core types during unification

#385376 opened 2 years ago by Robert Griesemer

unify core types for unbound type parameters

#385354 opened 2 years ago by Robert Griesemer

better error message for invalid array length

#385255 opened 2 years ago by Robert Griesemer

rename structuralType/String to coreType/String

#384618 opened 2 years ago by Robert Griesemer

better error messages for append

#384615 opened 2 years ago by Robert Griesemer

AssertableTo is undefined for generalized interfaces

#383917 opened 2 years ago by Robert Griesemer

ensure we have an interface before checking constraints

#383834 opened 2 years ago by Robert Griesemer

fix AssertableTo for arbitrary interfaces

#383494 opened 2 years ago by Robert Griesemer

record correct argument type for cap, len

#383474 opened 2 years ago by Robert Griesemer

memoize scope.Names() result

#383075 opened 2 years ago by Adin Scannell

always use missingMethodReason in checker.Implements

#383054 opened 2 years ago by Robert Griesemer

introduce a typeComparer type to hold parameters for identical

#383015 opened 2 years ago by Robert Findley

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

#383014 opened 2 years ago by Robert Griesemer

use identical missingMethod in both type checkers

#382858 opened 2 years ago by Robert Griesemer

simplify missingMethodReason

#382694 opened 2 years ago by Robert Griesemer

fix bug in types2.MissingMethod

#382634 opened 2 years ago by Robert Griesemer

remove superflous type parameter length checks

#382614 opened 2 years ago by Robert Griesemer

don't parse type parameters on methods

#382538 opened 2 years ago by Robert Findley

add a const to control recursion panics in unification

#382534 opened 2 years ago by Robert Findley

use same method lookup code in both type checkers

#382461 opened 2 years ago by Robert Griesemer

better error messages for expression switches

#382354 opened 2 years ago by Robert Griesemer

only one operand must be assignable to the other in comparison

#382250 opened 2 years ago by Robert Griesemer

disallow real, imag, complex on type parameters

#382116 opened 2 years ago by Robert Griesemer

fix unification code for defined types

#382076 opened 2 years ago by Robert Griesemer

better error messages for comparisons

#381964 opened 2 years ago by Robert Griesemer

tweak missingMethodReason logic to improve message

#381774 opened 2 years ago by Dan Scales

delete TypeList.String

#381634 opened 2 years ago by Robert Griesemer

shorter list for 2nd phase of function type inference

#381554 opened 2 years ago by Robert Griesemer

delete _TypeSet.includes - not used (cleanup)

#381494 opened 2 years ago by Robert Griesemer

use Checker.implements in operand.assignableTo

#381435 opened 2 years ago by Robert Griesemer

better error reporting for Checker.implements

#381434 opened 2 years ago by Robert Griesemer

remove Qualifier parameter from Checker.implements

#381297 opened 2 years ago by Robert Griesemer

fix implements and identical predicates

#381254 opened 2 years ago by Robert Griesemer

update interface receivers after substituting

#381174 opened 2 years ago by Robert Findley

clean up the set up of error, comparable

#381094 opened 2 years ago by Robert Griesemer

fix composite literal structural typing

#381075 opened 2 years ago by Matthew Dempsky

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

#380754 opened 2 years ago by Robert Griesemer

all interfaces implement comparable (add tests)

#380654 opened 2 years ago by Robert Griesemer

pass the seen map through _TypeSet.IsComparable

#380504 opened 2 years ago by Robert Findley

make each method instantiation independently lazy

#380499 opened 2 years ago by Robert Findley

don't re-instantiate receiver methods

#380498 opened 2 years ago by Robert Findley

unify structural types for external type parameters

#380375 opened 2 years ago by Robert Findley

panic if named type instances are mutated

#380374 opened 2 years ago by Robert Findley

reorder object processing to avoid broken aliases

#380056 opened 2 years ago by Robert Griesemer

report an error when using a broken alias

#379916 opened 2 years ago by Robert Griesemer

slightly better tracing output (debugging support)

#379836 opened 2 years ago by Robert Griesemer

in SetUnderlying, set Named.fromRHS if not set yet

#379694 opened 2 years ago by Robert Griesemer

use Identical rather than unification in missingMethod

#379540 opened 2 years ago by Robert Findley

validType argument must be *Named type

#379434 opened 2 years ago by Robert Griesemer

consider type parameters for cycle detection

#379414 opened 2 years ago by Robert Griesemer

explicitly check for non-nil type in LookupFieldOrMethod

#379374 opened 2 years ago by Robert Griesemer

use orig. compiler error message for a shift error

#379274 opened 2 years ago by Robert Griesemer

report error for invalid string(1 << s)

#379256 opened 2 years ago by Robert Griesemer

fix checking of bad type switch

#379117 opened 2 years ago by Russ Cox

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

#379116 opened 2 years ago by Russ Cox

remove special case for external types in validType

#378675 opened 2 years ago by Robert Griesemer

move validType code into its own file

#378674 opened 2 years ago by Robert Griesemer

use a map instead of a field for marking in validType

#378176 opened 2 years ago by Robert Griesemer

avoid field/method lookup error on invalid types

#378175 opened 2 years ago by Robert Griesemer

fix tracing output for type and expr lists

#377974 opened 2 years ago by Robert Griesemer

prevent unification from recursing endlessly

#377954 opened 2 years ago by Robert Griesemer

make function type inference argument-order independent

#377894 opened 2 years ago by Robert Griesemer

mention type decl scopes in Info.Scopes documentation

#377655 opened 2 years ago by Robert Findley

do not run CTI before FTI

#377594 opened 2 years ago by Robert Griesemer

refer to type parameter if so for interface pointer errors

#377375 opened 2 years ago by Robert Griesemer

better error message for type parameter field access

#376954 opened 2 years ago by Robert Griesemer

better error message when using *interface instead of interface

#376914 opened 2 years ago by Robert Griesemer

disallow multiple blank type parameters

#376058 opened 2 years ago by Robert Griesemer

implement field access for struct structural constraints

#375795 opened 2 years ago by Robert Griesemer

ensure that signature type bounds are interfaces

#375737 opened 2 years ago by Robert Griesemer

remove unused code in lookupFieldOrMethod

#375514 opened 2 years ago by Robert Griesemer

eagerly check that constraints are not type params

#374294 opened 2 years ago by Robert Findley

add position for "have" in failed interface satisfaction

#373634 opened 2 years ago by Emmanuel T Odeke

better error message when using comparable in union

#372954 opened 2 years ago by Robert Griesemer

use compiler error message for undefined operators

#372894 opened 2 years ago by Robert Griesemer

better error message for invalid == on type parameters

#372734 opened 2 years ago by Robert Griesemer

delay "does not satisfy comparable" error until needed

#372594 opened 2 years ago by Robert Griesemer

record types for union subexpressions

#371757 opened 2 years ago by Robert Findley

externalize union type sets

#371756 opened 2 years ago by Robert Findley

record (top-level) union types

#371514 opened 2 years ago by Robert Griesemer

remove TODO that is no longer relevant

#370582 opened 2 years ago by Hossein Zolfi

type assertions to type parameters should be static

#369774 opened 3 years ago by Robert Findley

unexport NewTypeList

#369475 opened 3 years ago by Robert Findley

sort to reduce computational complexity of initOrder

#369434 opened 3 years ago by Robert Findley

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

#368456 opened 3 years ago by Robert Griesemer

handle case of no specific target types in conversion

#367616 opened 3 years ago by Robert Findley

ensure that constructed type parameters are immutable

#367614 opened 3 years ago by Robert Findley

consider structural restrictions in Implements

#367515 opened 3 years ago by Robert Findley

better error message for missing ~ in constraint

#367199 opened 3 years ago by Robert Griesemer

better error position for instantiation failure

#367198 opened 3 years ago by Robert Griesemer

produce empty type set for invalid ~T

#367197 opened 3 years ago by Robert Griesemer

report types for mismatched call and return statements

#367196 opened 3 years ago by Robert Griesemer

restore original assignment error messages

#367195 opened 3 years ago by Robert Griesemer

print "nil" rather than "untyped nil"

#366277 opened 3 years ago by Robert Griesemer

substitute for type parameters in signatures when comparing type identity

#366178 opened 3 years ago by Robert Findley

use allInteger to check type for shifted operand

#365895 opened 3 years ago by zhouguangyuan

add test for imported constraints pre-1.18

#364937 opened 3 years ago by Robert Findley

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

#364936 opened 3 years ago by Robert Findley

remove unneccesary tests in implements and lookup

#364935 opened 3 years ago by Robert Findley

implement Checker.implements

#364934 opened 3 years ago by Robert Findley

better position for invalid slice indices error

#364902 opened 3 years ago by Robert Findley

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

#364901 opened 3 years ago by Robert Findley

move match function to end of file (cleanup)

#364900 opened 3 years ago by Robert Findley

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

#364899 opened 3 years ago by Robert Findley

optimize common case in structuralType

#364898 opened 3 years ago by Robert Findley

simplify under() and fix a crash

#364897 opened 3 years ago by Robert Findley

remove tparamIsIface flag and corresponding dead code

#364896 opened 3 years ago by Robert Findley

remove asNamed

#364895 opened 3 years ago by Robert Findley

remove a review comment in implicitTypeAndValue

#364894 opened 3 years ago by Robert Findley

set tparamsIsIface to true

#364717 opened 3 years ago by Robert Findley

underlying type of a type parameter is its constraint interface

#364716 opened 3 years ago by Robert Findley

check for non-negative index in tparamIndex

#364715 opened 3 years ago by Robert Findley

complete methods on pointer receivers in missingMethod

#364714 opened 3 years ago by Robert Findley

make sure we are safe for nil in underIs

#364537 opened 3 years ago by Robert Griesemer

match Go 1.17 compiler error messages more closely

#364379 opened 3 years ago by Robert Findley

better error for type assertion/switch on type parameter value

#364378 opened 3 years ago by Robert Findley

remove asTypeParam and simplify some code

#364235 opened 3 years ago by Robert Findley

remove structuralString in favor of inlined code

#364234 opened 3 years ago by Robert Findley

return an error message from Checker.genericType

#363994 opened 3 years ago by Robert Findley

slightly relax notion of structural type

#363991 opened 3 years ago by Robert Findley

refer to structural rather than single underlying type in errors

#363990 opened 3 years ago by Robert Findley

move some functions into different files (cleanup)

#363989 opened 3 years ago by Robert Findley

rename structure to structuralType

#363988 opened 3 years ago by Robert Findley

use type variables consistently in Checker.conversion

#363987 opened 3 years ago by Robert Findley

improve error messages referencing any

#363974 opened 3 years ago by Robert Findley

assign error codes to new errors for Go 1.18

#363874 opened 3 years ago by Robert Findley

copy implicit bit in interface substitution

#363836 opened 3 years ago by Robert Griesemer

return an error from Instantiate on incorrect len(targs)

#363635 opened 3 years ago by Robert Findley

add a test for Context deduplication of hash collisions

#363517 opened 3 years ago by Robert Findley

document nil scope for imported and instantiated Func objects

#363435 opened 3 years ago by Robert Griesemer

rename types.context to types.environment

#363176 opened 3 years ago by Robert Findley

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

#363175 opened 3 years ago by Robert Findley

when type hashing, canonicalize interfaces

#363115 opened 3 years ago by Robert Findley

when type hashing, use placeholders for type parameters

#363114 opened 3 years ago by Robert Findley

deduplicate signatures with the context

#362801 opened 3 years ago by Robert Findley

re-use type hashing logic in Context.typeHash

#362800 opened 3 years ago by Robert Findley

refactor the Context type map to accept arbitrary types

#362799 opened 3 years ago by Robert Findley

use Identical to verify type identity in the Context map

#362798 opened 3 years ago by Robert Findley

disallow type cycles through type parameter lists

#362756 opened 3 years ago by Robert Findley

rename Checker.cycle to Checker.validCycle

#362755 opened 3 years ago by Robert Findley

report error for incomplete struct composite literal type

#362739 opened 3 years ago by Robert Findley

don't return an array type with invalid length

#362738 opened 3 years ago by Robert Findley

clearer object string for type parameters

#362737 opened 3 years ago by Robert Findley

remove most asX converters (cleanup)

#362617 opened 3 years ago by Robert Findley

check non-generic conversions first

#362616 opened 3 years ago by Robert Findley

minor cleanups in predicates.go

#362615 opened 3 years ago by Robert Findley

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

#362554 opened 3 years ago by Robert Findley

make object test an external test

#362538 opened 3 years ago by Robert Findley

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

#362534 opened 3 years ago by Robert Findley

experiment with disallowing cycles involving type parameters

#362120 opened 3 years ago by Robert Findley

remove qualification from type parameter strings

#360938 opened 3 years ago by Robert Findley

report cause for failing const conversions

#360937 opened 3 years ago by Robert Findley

fix indexing of generic types

#360936 opened 3 years ago by Robert Findley

adjust printing of type parameter in error

#360935 opened 3 years ago by Robert Findley

fix conversions of constants to type parameter

#360934 opened 3 years ago by Robert Findley

avoid closure allocations in mono check

#360815 opened 3 years ago by Matthew Dempsky

differently named types are not assignable

#360759 opened 3 years ago by Robert Findley

disallow lone type parameter on RHS of type declaration

#360758 opened 3 years ago by Robert Findley

implement singleType and structure (type)

#360756 opened 3 years ago by Robert Findley

rename isNamed predicate to hasName

#360755 opened 3 years ago by Robert Findley

clean up asT converters (step 2 of 2)

#360754 opened 3 years ago by Robert Findley

remove confusing debugging output in inference error message

#360554 opened 3 years ago by Robert Griesemer

clean up asT converters (step 1 of 2)

#360477 opened 3 years ago by Robert Findley

generalize assignability to generic types

#360476 opened 3 years ago by Robert Findley

clarify is/underIs semantics and implementation

#360475 opened 3 years ago by Robert Findley

better error messages for empty type sets

#360474 opened 3 years ago by Robert Findley

comp literals to accept type sets with single underlying types

#359877 opened 3 years ago by Robert Findley

slice exprs to accept type sets with single underlying types

#359876 opened 3 years ago by Robert Findley

range clause to accept type sets with single underlying types

#359875 opened 3 years ago by Robert Findley

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

#359874 opened 3 years ago by Robert Findley

fix TypeName.IsAlias for type parameter names

#359656 opened 3 years ago by zhouguangyuan

factor out slice elem computation for copy built-in

#359138 opened 3 years ago by Robert Findley

implement generic conversions

#359137 opened 3 years ago by Robert Findley

add debugging support for delayed actions

#359136 opened 3 years ago by Robert Findley

remove support for type lists

#359135 opened 3 years ago by Robert Findley

move a check into resolver phase

#358518 opened 3 years ago by Robert Findley

remove a stale comment

#358517 opened 3 years ago by Robert Findley

propagate conversion error reason if not assignable

#358174 opened 3 years ago by Nevkontakte

remove subscripts from type parameter names

#357814 opened 3 years ago by Robert Findley

add the Interface.MarkImplicit method

#357796 opened 3 years ago by Robert Findley

always return an underlying type from optype

#357694 opened 3 years ago by Robert Findley

add check that code is monomorphizable

#357449 opened 3 years ago by Matthew Dempsky

print assignment operation for invalid operation errors

#357230 opened 3 years ago by Cuong Manh Le

always accept type parameters when running Manual test

#357050 opened 3 years ago by Robert Griesemer

delay expansion of underlying in typeDecl

#356533 opened 3 years ago by Robert Findley

ensure named types are expanded after type-checking

#356490 opened 3 years ago by Robert Findley

add support for inferring type instances

#356489 opened 3 years ago by Robert Findley

add test case for missing return

#356411 opened 3 years ago by Robert Griesemer

add a test case to ConvertibleTo

#355989 opened 3 years ago by Robert Griesemer

avoid infinite expansion for invalid recursive generic types

#355733 opened 3 years ago by Robert Griesemer

mark implicit interfaces as such

#354991 opened 3 years ago by Robert Findley

accept constraint literals with elided interfaces

#354989 opened 3 years ago by Robert Findley

remove some stale TODOs

#354751 opened 3 years ago by Robert Findley

rename rparamMap to recvTParamMap to match types2

#354694 opened 3 years ago by Robert Griesemer

partial revert of incorrect unification "fix"

#354691 opened 3 years ago by Robert Griesemer

use an identifier map rather than isubst for recv type params

#354643 opened 3 years ago by Robert Findley

only resolve underlying if it is *Named

#354639 opened 3 years ago by Robert Findley

implement copy for generic argument types

#354489 opened 3 years ago by Robert Griesemer

export TypeParam.Index and remove TypeParam._SetId

#354370 opened 3 years ago by Robert Findley

break cycles in invalid types

#354349 opened 3 years ago by Robert Griesemer

implement generic slice expressions

#354092 opened 3 years ago by Robert Griesemer

better error message for invalid untyped nil conversion

#354050 opened 3 years ago by Cuong Manh Le

update the recorded function type after inference

#353831 opened 3 years ago by Robert Findley

remove 1.18 APIs that have been replaced

#353570 opened 3 years ago by Robert Findley

switch uses of NewSignature to NewSignatureType (cleanup)

#353399 opened 3 years ago by Robert Griesemer

remove Environment type

#353351 opened 3 years ago by jiahua wang

rename Environment to Context

#353089 opened 3 years ago by Robert Findley

avoid infinite recursion in unification

#353029 opened 3 years ago by Robert Griesemer

add the Interface.IsMethodSet method

#352616 opened 3 years ago by Robert Findley

add a NewSignatureType constructor accepting type parameters

#352615 opened 3 years ago by Robert Findley

substitute placeholder type parameters in arguments during type inference

#352510 opened 3 years ago by Robert Findley

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

#352312 opened 3 years ago by Robert Griesemer

delay union element checks

#351971 opened 3 years ago by Robert Griesemer

disallow illegal cycles through Unions

#351829 opened 3 years ago by Robert Findley

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

#351670 opened 3 years ago by Robert Griesemer

allow `any` anywhere (as a type)

#351456 opened 3 years ago by Robert Griesemer

add a test for argument error unwrapping

#351338 opened 3 years ago by Robert Findley

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

#351337 opened 3 years ago by Robert Findley

tweaks to ArgumentError to be more idiomatic

#351335 opened 3 years ago by Robert Findley

make ptrRecv a method hasPtrRecv of Func

#351311 opened 3 years ago by Robert Griesemer

return typeHash value without blanks

#351171 opened 3 years ago by Robert Griesemer

fixes for pointer receivers of instantiated methods

#351149 opened 3 years ago by Robert Griesemer

remove duplicate resolve call

#351119 opened 3 years ago by Robert Griesemer

export Named._Orig as Named.Origin

#350996 opened 3 years ago by Robert Findley

add an additional shift test case

#350410 opened 3 years ago by Robert Griesemer

ensure that we always get a new signature in expandNamed

#350143 opened 3 years ago by Robert Findley

remove the report parameter from infer and inferB

#350049 opened 3 years ago by Robert Findley

spell out 'Type' in type parameter unexported functions

#349771 opened 3 years ago by Koichi Shiraishi

record all instances, not just inferred instances

#349629 opened 3 years ago by Robert Findley

minor cleanup of instantiation

#349429 opened 3 years ago by Robert Findley

implement Identical for *Union types

#349413 opened 3 years ago by Robert Findley

instantiate methods when instantiating Named types

#349412 opened 3 years ago by Robert Findley

eliminate Named.instPos

#349411 opened 3 years ago by Robert Findley

merge Named type loading and expansion

#349410 opened 3 years ago by Robert Findley

remove some unnecessary loading/expansion of Named types

#349409 opened 3 years ago by Robert Findley

rename Environment to Context

#348811 opened 3 years ago by Robert Findley

rename RParams -> RecvTypeParams

#348810 opened 3 years ago by Robert Findley

print correct embedded field name

#348737 opened 3 years ago by Robert Griesemer

reduce number of delayed functions

#348691 opened 3 years ago by Robert Findley

handle recursive type parameter constraints

#348690 opened 3 years ago by Robert Findley

detect constraint type inference cycles

#348689 opened 3 years ago by Robert Findley

add Environment to Config

#348578 opened 3 years ago by Robert Griesemer

spell out 'Type' in type parameter APIs

#348376 opened 3 years ago by Robert Findley

temporarily pin the Checker to Interface during checking

#348371 opened 3 years ago by Robert Findley

do not format TParams when hashing

#348029 opened 3 years ago by Cuong Manh Le

move NewTypeParam off of Checker

#347561 opened 3 years ago by Robert Findley

move typeHash to environment.go

#347560 opened 3 years ago by Robert Findley

make an arbitrary change to test new slowbot syntax

#347406 opened 3 years ago by Robert Findley

systematic detection of missing instantiation

#347391 opened 3 years ago by Robert Findley

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

#347149 opened 3 years ago by Robert Griesemer

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

#347071 opened 3 years ago by Rob Findley

disallow aliases for generic types

#346560 opened 3 years ago by Robert Findley

remove superfluous ordinaryType calls

#346559 opened 3 years ago by Robert Findley

more systematic error handling in typeWriter

#346558 opened 3 years ago by Robert Findley

eliminate typeHashing global variable

#346557 opened 3 years ago by Robert Findley

generalize instanceHash to accept any type, rename to typeHash

#346556 opened 3 years ago by Robert Findley

don't print instance markers for type hashes

#346555 opened 3 years ago by Robert Findley

use a typeWriter to write types (cleanup)

#346554 opened 3 years ago by Robert Findley

do not declare new methods on instantiated types

#346553 opened 3 years ago by Robert Findley

implement TypeList.String (debugging support)

#346552 opened 3 years ago by Robert Findley

remove need for the instance struct

#346551 opened 3 years ago by Robert Findley

address some TODOs (cleanup)

#346550 opened 3 years ago by Robert Findley

fix type set printing and add a test

#346435 opened 3 years ago by Robert Findley

rename IsMethodSet to IsConstraint (cleanup)

#346434 opened 3 years ago by Robert Findley

add error reporting for 1.18 syntax if GoVersion is below 1.18

#346433 opened 3 years ago by Robert Findley

allow composite literals of type parameter type

#346432 opened 3 years ago by Robert Findley

add a test for invalid import of "init"

#346309 opened 3 years ago by Robert Findley

union terms must be instantiated

#346293 opened 3 years ago by Robert Griesemer

types in method expressions must be instantiated

#345970 opened 3 years ago by Quim Muntal

types in type switch cases must be instantiated

#345790 opened 3 years ago by Robert Griesemer

pointer to generic type can be

#345669 opened 3 years ago by qmuntal

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

#344576 opened 3 years ago by Robert Griesemer

implement NewTypeList and use it instead of composite literals

#344570 opened 3 years ago by Robert Griesemer

implement deduplication of instances using the Environment

#344390 opened 3 years ago by Robert Findley

report argument type for unsafe.OffsetOf

#344254 opened 3 years ago by Robert Griesemer

use TypeList in the Inferred struct

#343934 opened 3 years ago by Robert Findley

use a TypeList type to hold type arguments

#343933 opened 3 years ago by Robert Findley

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

#343932 opened 3 years ago by Robert Findley

add the TypeParam.Obj method

#343931 opened 3 years ago by Robert Findley

move to an opaque environment for Instantiate

#343930 opened 3 years ago by Robert Findley

don't override x.mode before using it

#343809 opened 3 years ago by Robert Griesemer

fix method lookup for type-parameter based types

#342991 opened 3 years ago by Robert Griesemer

check if the interface is already complete in Complete

#342749 opened 3 years ago by Robert Findley

return an error from Instantiate

#342671 opened 3 years ago by Robert Findley

change Checker.verify to return an error

#342670 opened 3 years ago by Robert Findley

no need to validate substituted instances

#342669 opened 3 years ago by Robert Findley

superficial changes to align types and types2

#342490 opened 3 years ago by Robert Findley

make Interface.Complete a no-op

#342489 opened 3 years ago by Robert Findley

consolidate verification logic

#342488 opened 3 years ago by Robert Findley

clean up panics in instantiation

#342487 opened 3 years ago by Robert Findley

use the orig object for Named.Obj

#342482 opened 3 years ago by Robert Findley

rename TypeParams to TParamList

#342481 opened 3 years ago by Robert Findley

remove targs from substMap

#342480 opened 3 years ago by Robert Findley

simplify Named.under

#342479 opened 3 years ago by Robert Findley

define Identical for instances

#342478 opened 3 years ago by Robert Findley

merge Instantiate and InstantiateLazy

#342477 opened 3 years ago by Robert Findley

remove Named.SetTArgs

#342476 opened 3 years ago by Robert Findley

parameterized functions must have a body

#342475 opened 3 years ago by Robert Findley

expand is only required for *Named types

#342474 opened 3 years ago by Robert Findley

limit termlist lengths

#342438 opened 3 years ago by Robert Findley

change types2.Union API to accept a list of Terms

#342437 opened 3 years ago by Robert Findley

add defined type to term/termlist tests

#342436 opened 3 years ago by Robert Findley

minor cleanup of writeTParamList

#342435 opened 3 years ago by Robert Findley

fix make with type parameter argument

#342434 opened 3 years ago by Robert Findley

fix range over exprs of type parameter type

#342433 opened 3 years ago by Robert Findley

better names for things (cleanup)

#342432 opened 3 years ago by Robert Findley

cleanup panic calls

#342431 opened 3 years ago by Robert Findley

remove TestIncompleteInterfaces (cleanup)

#342430 opened 3 years ago by Robert Findley

remove unused gcCompatibilityMode flag (cleanup)

#342429 opened 3 years ago by Robert Findley

implement type sets with term lists

#342331 opened 3 years ago by Robert Findley

implement term lists

#342330 opened 3 years ago by Robert Findley

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

#341289 opened 3 years ago by Rob Findley

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

#340010 opened 3 years ago by Rob Findley

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

#340009 opened 3 years ago by Rob Findley

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

#339677 opened 3 years ago by Rob Findley

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

#339676 opened 3 years ago by Rob Findley

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

#339675 opened 3 years ago by Rob Findley

[dev.typeparams] use type terms to represent unions

#339674 opened 3 years ago by Rob Findley

[dev.typeparams] implement type terms

#339653 opened 3 years ago by Rob Findley

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

#339652 opened 3 years ago by Rob Findley

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

#339651 opened 3 years ago by Rob Findley

[dev.typeparams] implement TypeParam.Constraint

#339650 opened 3 years ago by Rob Findley

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

#339649 opened 3 years ago by Rob Findley

[dev.typeparams] fix TypeParams.At docs

#338430 opened 3 years ago by Matthew Dempsky

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

#338369 opened 3 years ago by Rob Findley

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

#338098 opened 3 years ago by Robert Griesemer

preserve untyped constants on the RHS of a shift expression

#337529 opened 3 years ago by Rob Findley

[dev.typeparams] don't eagerly convert untyped RHS of shifts to uint

#336912 opened 3 years ago by Rob Findley

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

#336910 opened 3 years ago by Rob Findley

[dev.typeparams] use the TParams API consistently

#336251 opened 3 years ago by Rob Findley

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

#336249 opened 3 years ago by Rob Findley

[dev.typeparams] trigger verification while resolving instance

#335978 opened 3 years ago by Rob Findley

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

#335929 opened 3 years ago by Rob Findley

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

#335569 opened 3 years ago by Rob Findley

[dev.typeparams] update TypeParam APIs to match types2

#335145 opened 3 years ago by Rob Findley

[dev.typeparams] remove unnecessary guard from NewInterfaceType

#335144 opened 3 years ago by Rob Findley

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

#335143 opened 3 years ago by Rob Findley

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

#335115 opened 3 years ago by Rob Findley

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

#335114 opened 3 years ago by Rob Findley

[dev.typeparams] support local defined types

#335113 opened 3 years ago by Rob Findley

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

#335112 opened 3 years ago by Rob Findley

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

#335111 opened 3 years ago by Rob Findley

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

#335110 opened 3 years ago by Rob Findley

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

#335109 opened 3 years ago by Rob Findley

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

#335082 opened 3 years ago by Rob Findley

[dev.typeparams] fix generic type indirection

#335081 opened 3 years ago by Rob Findley

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

#335080 opened 3 years ago by Rob Findley

[dev.typeparams] cleanups around receiver type checks

#335079 opened 3 years ago by Rob Findley

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

#335078 opened 3 years ago by Rob Findley

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

#335077 opened 3 years ago by Rob Findley

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

#335076 opened 3 years ago by Rob Findley

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

#335075 opened 3 years ago by Rob Findley

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

#335074 opened 3 years ago by Rob Findley

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

#335073 opened 3 years ago by Rob Findley

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

#335072 opened 3 years ago by Rob Findley

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

#335071 opened 3 years ago by Rob Findley

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

#335040 opened 3 years ago by Rob Findley

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

#335039 opened 3 years ago by Rob Findley

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

#335038 opened 3 years ago by Rob Findley

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

#335037 opened 3 years ago by Rob Findley

[dev.typeparams] rename newTypeSet -> computeTypeSet

#335036 opened 3 years ago by Rob Findley

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

#335035 opened 3 years ago by Rob Findley

[dev.typeparams] delay interface check for type bounds

#335034 opened 3 years ago by Rob Findley

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

#335032 opened 3 years ago by Rob Findley

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

#335031 opened 3 years ago by Rob Findley

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

#335030 opened 3 years ago by Rob Findley

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

#335009 opened 3 years ago by Rob Findley

[dev.typeparams] remove typeparams wrappers and aliases

#334895 opened 3 years ago by Rob Findley

[dev.typeparams] introduce type set abstraction for interfaces

#334894 opened 3 years ago by Rob Findley

[dev.typeparams] port lazy import resolution from types2

#334893 opened 3 years ago by Rob Findley

[dev.typeparams] export the Config.GoVersion field

#334533 opened 3 years ago by Rob Findley

fix a bug in package qualification logic

#330629 opened 3 years ago by Rob Findley

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

#330431 opened 3 years ago by Bryan C. Mills

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

#330253 opened 3 years ago by Bryan C. Mills

in TestStdlib, import from source instead of export data

#330252 opened 3 years ago by Bryan C. Mills

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

#330069 opened 3 years ago by Rob Findley

guard against checking instantiation when generics is disabled

#329793 opened 3 years ago by Rob Findley

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

#328869 opened 3 years ago by Cuong Manh Le

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

#327269 opened 3 years ago by Rob Findley

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

#326684 opened 3 years ago by Rob Findley

[dev.typeparams] disallow type list handling

#326683 opened 3 years ago by Rob Findley

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

#326682 opened 3 years ago by Rob Findley

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

#326681 opened 3 years ago by Rob Findley

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

#326680 opened 3 years ago by Rob Findley

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

#326679 opened 3 years ago by Rob Findley

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

#326678 opened 3 years ago by Rob Findley

[dev.typeparams] replace Sum type with Union type

#326677 opened 3 years ago by Rob Findley

[dev.typeparams] accept embedded interface elements

#326069 opened 3 years ago by Rob Findley

use flag variable goversion

#325449 opened 3 years ago by Avelino

use flag variable goVersion

#325049 opened 3 years ago by Avelino

[dev.typeparams] factor out constraint satisfaction check

#324759 opened 3 years ago by Rob Findley

[dev.typeparams] simplify Interface accessors

#324757 opened 3 years ago by Rob Findley

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

#324756 opened 3 years ago by Rob Findley

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

#324755 opened 3 years ago by Rob Findley

[dev.typeparams] move signature checking into separate file

#324754 opened 3 years ago by Rob Findley

[dev.typeparams] move struct checking into separate file

#324753 opened 3 years ago by Rob Findley

[dev.typeparams] move interface checking into separate file

#324752 opened 3 years ago by Rob Findley

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

#324751 opened 3 years ago by Rob Findley

[dev.typeparams] better recv Var for method expressions

#324733 opened 3 years ago by Rob Findley

[dev.typeparams] fix panic with nil package name

#324732 opened 3 years ago by Rob Findley

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

#324731 opened 3 years ago by Rob Findley

[dev.typeparams] make TestManual work for directories

#324730 opened 3 years ago by Rob Findley

[dev.typeparams] implement types.Instantiate

#324729 opened 3 years ago by Rob Findley

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

#324369 opened 3 years ago by Matthew Dempsky

don't declare 'comparable' when typeparams are disabled

#323609 opened 3 years ago by Rob Findley

unexport the GoVersion configuration option for Go 1.17

#323430 opened 3 years ago by Rob Findley

guard against check==nil in newNamed

#322974 opened 3 years ago by Rob Findley

[dev.typeparams] rename Inferred.Targs to TArgs

#321289 opened 3 years ago by Rob Findley

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

#321269 opened 3 years ago by Rob Findley

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

#318849 opened 3 years ago by Rob Findley

unskip std and cmd in TestStdlib

#317869 opened 3 years ago by Rob Findley

expose types.Info.Inferred with -tags=typeparams

#317549 opened 3 years ago by Rob Findley

use Checker-provided type parameter IDs when possible

#317472 opened 3 years ago by Rob Findley

add a test case for issue 45985

#317471 opened 3 years ago by Rob Findley

fix potential bugs in santitizer pass

#317291 opened 3 years ago by Rob Findley

expose more API under -tags=typeparams

#317029 opened 3 years ago by Matthew Dempsky

list errors by default in TestManual

#315850 opened 3 years ago by Rob Findley

simplify use of TestManual

#315849 opened 3 years ago by Rob Findley

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

#315809 opened 3 years ago by Rob Findley

add additional test data from types2

#315070 opened 3 years ago by Rob Findley

improve error messages for unexpected ListExprs

#314869 opened 3 years ago by Rob Findley

ensure that error code values do not change in 1.17

#314830 opened 3 years ago by Rob Findley

nest all test data under the testdata directory

#314829 opened 3 years ago by Rob Findley

respect IgnoreFuncBodies for function literals

#314631 opened 3 years ago by Rob Findley

better errors for invalid short var decls

#314629 opened 3 years ago by Rob Findley

fix type inference

#314595 opened 3 years ago by Rob Findley

use a global atomic counter for type parameter ids

#314594 opened 3 years ago by Rob Findley

add example test for type inference

#314593 opened 3 years ago by Rob Findley

use combined type and ordinary args for type inference

#314435 opened 3 years ago by Rob Findley

split out function instantiation from index expr

#314432 opened 3 years ago by Rob Findley

don't panic when checking a ListExpr in exprInternal

#313909 opened 3 years ago by Rob Findley

walk all imports when determining package name ambiguity

#313035 opened 3 years ago by Rob Findley

suppress index-out-of-bounds error on Unknown constants

#312790 opened 3 years ago by Matthew Dempsky

add assertion for Int64Val

#312789 opened 3 years ago by Matthew Dempsky

implement unsafe.Add and unsafe.Slice

#312769 opened 3 years ago by Rob Findley

cleanup and fix Checker.index

#312591 opened 3 years ago by Matthew Dempsky

implement unsafe.Add and unsafe.Slice

#312213 opened 3 years ago by Matthew Dempsky

combine all type inference in a single function

#312191 opened 3 years ago by Rob Findley

simplify Checker.Call

#312190 opened 3 years ago by Rob Findley

simplify Checker.funcInst

#312189 opened 3 years ago by Rob Findley

add more guards against accidentally checking a ListExpr

#312149 opened 3 years ago by Rob Findley

re-enable a commented out test

#312097 opened 3 years ago by Rob Findley

combine two loops (cleanup of TODO)

#312096 opened 3 years ago by Rob Findley

factor out index/slice expr handling

#312095 opened 3 years ago by Rob Findley

add sizeof test

#312091 opened 3 years ago by Rob Findley

fix panic when using multiple type arguments

#311669 opened 3 years ago by Rob Findley

support type parameters in NewMethodSet

#311455 opened 3 years ago by Rob Findley

remove use of ioutil (cleanup)

#305575 opened 3 years ago by Robert Griesemer

remove outdated comment

#305569 opened 3 years ago by Robert Griesemer

remove superfluous code for shift checking

#303093 opened 3 years ago by Robert Griesemer

add a test case for shifts that used to fail

#303090 opened 3 years ago by Robert Griesemer

minor simplification in assignableTo (cleanup)

#302758 opened 3 years ago by Robert Griesemer

add test case for issue #45096

#302754 opened 3 years ago by Robert Griesemer

allow conversion from slice to array ptr

#301651 opened 3 years ago by Josh Bleecher Snyder

add missing build tag to api_go1.18_test.go

#300450 opened 3 years ago by Rob Findley

improve the positioning of broken import errors

#300169 opened 3 years ago by Rob Findley

remove stale commented-out testdata

#299831 opened 3 years ago by Rob Findley

ensure argument inference occurs before constraint inference

#299829 opened 3 years ago by Rob Findley

remove the concept of finals

#299590 opened 3 years ago by Rob Findley

use correct recv for parameterized embedded methods

#298349 opened 3 years ago by Rob Findley

hide API changes related to type parameters

#295929 opened 3 years ago by Rob Findley

review of expr.go

#295729 opened 3 years ago by Rob Findley

constraints may be parenthesized and that includes "any"

#295689 opened 3 years ago by Robert Griesemer

review of call.go

#295531 opened 3 years ago by Rob Findley

minor updates to comments to align with types2

#295530 opened 3 years ago by Rob Findley

use regular type printing for unsafe.Pointer

#295271 opened 3 years ago by Robert Griesemer

don't write during sanitizeInfo if nothing has changed

#294411 opened 3 years ago by Rob Findley

[dev.typeparams] revert fancy struct printing (fixes x/tools tests)

#293962 opened 3 years ago by Robert Griesemer

[dev.typeparams] adjust printing of embedded struct fields (fixes x/tools/cmd/guru tests)

#293961 opened 3 years ago by Robert Griesemer

[dev.typeparams] use a new ast.ListExpr for multi-type instances

#293010 opened 3 years ago by Rob Findley

revert "no 'declared but not used' errors for invalid var decls"

#292751 opened 3 years ago by Rob Findley

[dev.typeparams] conversions to type parameters are not constant

#291323 opened 3 years ago by Rob Findley

[dev.typeparams] make predeclared "any" alias for interface{}

#291322 opened 3 years ago by Rob Findley

[dev.typeparams] better error message for invalid ... use

#291321 opened 3 years ago by Rob Findley

[dev.regabi] overlapping embedded interfaces requires go1.14

#291319 opened 3 years ago by Rob Findley

[dev.regabi] type alias decl requires go1.9

#291318 opened 3 years ago by Rob Findley

[dev.regabi] add support for language version checking

#291317 opened 3 years ago by Rob Findley

[dev.regabi] untyped shift counts must fit into uint

#291316 opened 3 years ago by Rob Findley

[dev.regabi] refuse excessively long constants

#290949 opened 3 years ago by Rob Findley

use a stable ordering for methods

#290750 opened 3 years ago by Adin Scannell

[dev.regabi] use 512 bits as max. integer precision

#290630 opened 3 years ago by Rob Findley

[dev.regabi] adjust importer to match compiler importer

#290629 opened 3 years ago by Rob Findley

[dev.regabi] must not import a package called "init"

#290570 opened 3 years ago by Rob Findley

[dev.regabi] handle untyped constant arithmetic overflow

#290569 opened 3 years ago by Rob Findley

[dev.regabi] report unused packages in source order

#289720 opened 3 years ago by Rob Findley

[dev.regabi] factor out sorting of methods

#289717 opened 3 years ago by Rob Findley

[dev.regabi] convert untyped arguments to delete

#289716 opened 3 years ago by Rob Findley

[dev.regabi] consistently report nil type as "untyped nil"

#289715 opened 3 years ago by Rob Findley

[dev.regabi] report error for invalid main function signature

#289714 opened 3 years ago by Rob Findley

[dev.regabi] port check_test.go ergonomics from dev.typeparams

#289713 opened 3 years ago by Rob Findley

[dev.regabi] no "declared but not used" errors for invalid var decls

#289712 opened 3 years ago by Rob Findley

[dev.typeparams] add missing test from dev.go2go

#289549 opened 3 years ago by Rob Findley

[dev.typeparams] import api_test.go changes from dev.go2go

#284693 opened 3 years ago by Rob Findley

[dev.typeparams] refactor untyped conversion for typeparams

#284256 opened 3 years ago by Rob Findley

[dev.typeparams] fix some merge errors in call.go

#284255 opened 3 years ago by Rob Findley

[dev.typeparams] don't modify Named.underlying in validType

#284254 opened 3 years ago by Rob Findley

[dev.typeparams] strip annotations from errors

#284253 opened 3 years ago by Rob Findley

[dev.typeparams] unify methods in missingMethod

#284252 opened 3 years ago by Rob Findley

[dev.typeparams] add tests from dev.go2go

#283854 opened 3 years ago by Rob Findley

[dev.typeparams] import dev.go2go changes to check tests

#283132 opened 3 years ago by Rob Findley

[dev.typeparams] import expr changes from dev.go2go

#282193 opened 3 years ago by Rob Findley

[dev.typeparams] move use and useLHS to match dev.go2go

#282192 opened 3 years ago by Rob Findley

[dev.typeparams] remove disabled code related to type lists

#281992 opened 3 years ago by Rob Findley

report error for invalid main function signature

#279424 opened 3 years ago by Rob Findley

eliminate Checker.qualifier in favor of scoped qualifiers

#279237 opened 3 years ago by Rob Findley

[dev.typeparams] import typexpr.go from dev.go2go

#278916 opened 3 years ago by Rob Findley

report error for invalid (but empty) expr switch

#278813 opened 3 years ago by Rob Findley

[dev.typeparams] import object resolution from dev.go2go

#278595 opened 3 years ago by Rob Findley

[dev.typeparams] import predicates.go from dev.go2go

#278594 opened 3 years ago by Rob Findley

[dev.typeparams] import some support functions from dev.go2go

#278593 opened 3 years ago by Rob Findley

[dev.typeparams] import lookup logic from dev.go2go

#278333 opened 3 years ago by Rob Findley

[dev.typeparams] import changes to types.Info from dev.go2go

#278312 opened 3 years ago by Rob Findley

report invalid ... in conversions

#277352 opened 4 years ago by Rob Findley

enforce unambiguous package qualification within errors

#277213 opened 4 years ago by Rob Findley

[dev.typeparams] import unify.go and infer.go from dev.go2go

#276692 opened 4 years ago by Rob Findley

avoid endless recursion in the Comparable predicate

#276552 opened 4 years ago by Rob Findley

import instance.expand and subst.go from dev.go2go

#276253 opened 4 years ago by Rob Findley

[dev.typeparams] import universe changes from dev.go2go

#276252 opened 4 years ago by Rob Findley

[dev.go2go] remove the aType helper

#276193 opened 4 years ago by Rob Findley

revert the error for assignment of unrepresentable values

#276192 opened 4 years ago by Rob Findley

correct error position for inherited const init expressions

#276172 opened 4 years ago by Rob Findley

[dev.typeparams] import the Type API from dev.go2go

#275441 opened 4 years ago by Rob Findley

[dev.go2go] revert the Type interface for compatibility

#274852 opened 4 years ago by Rob Findley

[dev.go2go] a type parameter is a valid type case in a type switch

#273127 opened 4 years ago by Robert Griesemer

[dev.typeparams] fix incorrect string(int) conversion (regression)

#272669 opened 4 years ago by Robert Griesemer

[dev.go2go] fix incorrect string(int) conversion (regression)

#272667 opened 4 years ago by Robert Griesemer

fix incorrect string(int) conversion (regression)

#272666 opened 4 years ago by Robert Griesemer

use correct error position

#271789 opened 4 years ago by Robert Griesemer

fix error message for consistency

#271766 opened 4 years ago by Robert Griesemer

handle infinities as unknown values

#271706 opened 4 years ago by Robert Griesemer

report an error for invalid constant values

#271377 opened 4 years ago by Robert Griesemer

[dev.go2go] backport of https://golang.org/cl/270658

#270937 opened 4 years ago by Robert Griesemer

add test case for incorrect map index expression

#270658 opened 4 years ago by Robert Griesemer

[dev.go2go] fix indexing of type parameter values constraint by maps

#270657 opened 4 years ago by Robert Griesemer

simplify error messages for untyped value assignability

#267717 opened 4 years ago by Rob Findley

reorganize error codes into categories

#266637 opened 4 years ago by Rob Findley

add unexported start and end positions to type checker errors

#265250 opened 4 years ago by Rob Findley

add internal error codes

#264179 opened 4 years ago by Rob Findley

[dev.go2go] fix subtle bug (typo) in receiver type rewriting

#262021 opened 4 years ago by Robert Griesemer

turn TestBenchmark into a normal benchmark

#257958 opened 4 years ago by Rob Findley

add Checker.walkDecl to simplify checking declarations

#256298 opened 4 years ago by Rob Findley

[dev.go2go] minor adjustment to two tests

#253998 opened 4 years ago by Robert Griesemer

[dev.go2go] don't crash when a generic function is instantiated with a value

#253379 opened 4 years ago by Robert Griesemer

[dev.go2go] record constraint type inference when some type params are provided

#253258 opened 4 years ago by Robert Griesemer

[dev.go2go] interfaces with type lists are only allowed as constraints

#251718 opened 4 years ago by Robert Griesemer

[dev.go2go] improve error when a type argument doesn't satisfy constraint

#251717 opened 4 years ago by Robert Griesemer

[dev.go2go] type parameters must always be named

#251561 opened 4 years ago by Robert Griesemer

[dev.go2go] add missing instantiation checks for function type arguments

#251557 opened 4 years ago by Robert Griesemer

[dev.go2go] gotype cmd to use new unified type parameter syntax

#251443 opened 4 years ago by Robert Griesemer

add tests for conversion of non-constant untyped values

#251397 opened 4 years ago by Rob Findley

[dev.go2go] predeclared "any" is only visible as constraint in a type parameter list

#251140 opened 4 years ago by Robert Griesemer

[dev.go2go] disable implicit instantiation of single type parameter constraints

#251139 opened 4 years ago by Robert Griesemer

[dev.go2go] make type parameters a syntax error for type aliases

#251138 opened 4 years ago by Robert Griesemer

add untyped test cases for AssignableTo API

#250258 opened 4 years ago by Rob Findley

[dev.go2go] adjust all tests to use latest syntax

#249741 opened 4 years ago by Robert Griesemer

update flag documentation for gotype command

#249738 opened 4 years ago by Robert Griesemer

[dev.go2go] enable constraint type inference

#249737 opened 4 years ago by Robert Griesemer

allocation optimizations for the types wrapper

#249518 opened 4 years ago by Rob Findley

fix missing Importer for TestBenchmark

#249517 opened 4 years ago by Rob Findley

[dev.go2go] determine if type declaration is generic based on use of type parameter

#248438 opened 4 years ago by Robert Griesemer

[dev.go2go] use actual (not underlying) types of type list elements for interface satisfaction

#248265 opened 4 years ago by Robert Griesemer

[dev.go2go] predeclare type any interface{} (experiment)

#248263 opened 4 years ago by Robert Griesemer

remove need to enumerate fixedbugs test files

#247904 opened 4 years ago by Rob Findley

clean up test support code and remove global variables

#247902 opened 4 years ago by Rob Findley

[dev.go2go] fix instantiation crash for generic type parame…

#247498 opened 4 years ago by tdakkota

[dev.go2go] add special case report for generic map key type

#247258 opened 4 years ago by tdakkota

[dev.go2go] add testcase for crash 9 of #39634

#245742 opened 4 years ago by Robert Griesemer

[dev.go2go] fix isParameterized predicate

#245741 opened 4 years ago by Robert Griesemer

[dev.go2go] remove incorrect assert and replace with explanatory comment

#245740 opened 4 years ago by Robert Griesemer

[dev.go2go] generic types in selector expressions must be instantiated

#245739 opened 4 years ago by Robert Griesemer

[dev.go2go] don't crash in assignment due to prior errors

#245738 opened 4 years ago by Robert Griesemer

[dev.go2go] don't crash in lookup of incomplete interface

#245737 opened 4 years ago by Robert Griesemer

[dev.go2go] remove need to enumerate test files, clean up test handling

#244629 opened 4 years ago by Robert Griesemer

[dev.go2go] remove need to enumerate examples and fixedbugs test files

#244628 opened 4 years ago by Robert Griesemer

[dev.go2go] clean up test support code and remove global variables

#244627 opened 4 years ago by Robert Griesemer

[dev.go2go] don't crash with unsafe.Alignof/Sizeof on a type parameter value

#244622 opened 4 years ago by Robert Griesemer

[dev.go2go] add a couple more interesting type inference examples

#244620 opened 4 years ago by Robert Griesemer

[dev.go2go] implement constraint type inference for functions

#244061 opened 4 years ago by Robert Griesemer

[dev.go2go] allow both type and func decls to select [] for type params

#242899 opened 4 years ago by Robert Griesemer

[dev.go2go] adjustments to accept [] or () for type parameters

#242521 opened 4 years ago by Robert Griesemer

factor out usage of implicit type

#242084 opened 4 years ago by Rob Findley

better error when converting untyped values in assignments

#242083 opened 4 years ago by Rob Findley

factor out some methods that compute a single error

#242082 opened 4 years ago by Rob Findley

update test case to exercise mutually recursive interfaces

#241263 opened 4 years ago by Rob Findley

add tests for AssignableTo and ConvertibleTo

#241262 opened 4 years ago by Rob Findley

[dev.go2go] don't panic if receiver type arguments cannot be inferred

#241130 opened 4 years ago by Robert Griesemer

[dev.go2go] do not permit generic types in type switch type lists

#241126 opened 4 years ago by Robert Griesemer

[dev.go2go] add test for crash 15 from issue 39634

#241123 opened 4 years ago by Robert Griesemer

[dev.go2go] don't crash instantiating defined types that are not fully set up

#241122 opened 4 years ago by Robert Griesemer

[dev.go2go] don't crash instantiating arrays/slices that are not fully set up

#240904 opened 4 years ago by Robert Griesemer

[dev.go2go] make sure arrays, slices always have an element type

#240903 opened 4 years ago by Robert Griesemer

[dev.go2go] don't rely on completed interfaces in isParameterized predicate

#240902 opened 4 years ago by Robert Griesemer

[dev.go2go] don't modify Named.underlying when checking validity

#240901 opened 4 years ago by Robert Griesemer

[dev.go2go] fix computation of type hash

#240737 opened 4 years ago by Robert Griesemer

[dev.go2go] better error message when converting to a constraint interface

#240720 opened 4 years ago by Robert Griesemer

[dev.go2go] HasTypeList, IsComparable, IsConstraint predicates for interfaces

#240719 opened 4 years ago by Robert Griesemer

[dev.go2go] fix assertion failure, better error message for inference failure

#240718 opened 4 years ago by Robert Griesemer

[dev.go2go] report inferred type when a type argument doesn't match

#240523 opened 4 years ago by Robert Griesemer

[dev.go2go] better error message when confusing a type parameter with an interface

#240520 opened 4 years ago by Robert Griesemer

[dev.go2go] report "inifinite expansion" cycles across instantiated types

#240519 opened 4 years ago by Robert Griesemer

[dev.go2go] fix broken test case

#240478 opened 4 years ago by Robert Griesemer

[dev.go2go] fix type check skipping for constraints when th…

#240339 opened 4 years ago by tdakkota

[dev.go2go] permit alias to generic type

#239387 opened 4 years ago by Robert Griesemer

[dev.go2go] add internal TODO for future simplification

#239384 opened 4 years ago by Robert Griesemer

[dev.go2go] implement a few more predicates for type list sums

#239338 opened 4 years ago by Robert Griesemer

[dev.go2go] use the underlying type of type list entries

#239163 opened 4 years ago by Robert Griesemer

[dev.go2go] the underlying type of a type parameter is itself

#239162 opened 4 years ago by Robert Griesemer

[dev.go2go] a type constraint must be an interface

#239161 opened 4 years ago by Robert Griesemer

[dev.go2go] check for duplicate types after interfaces were completed

#239158 opened 4 years ago by Robert Griesemer

[dev.go2go] avoid endless recursion when computing operational types

#238863 opened 4 years ago by Robert Griesemer

[dev.go2go] don't panic if an embedded type is not an interface

#238858 opened 4 years ago by Robert Griesemer

[dev.go2go] fix unification issue when looking up generic methods

#238627 opened 4 years ago by Robert Griesemer

[dev.go2go] don't crash when receiver type doesn't declare type parameters

#238625 opened 4 years ago by Robert Griesemer

[dev.go2go] use correct predicate when checking binary addition

#238359 opened 4 years ago by Robert Griesemer

[dev.go2go] prevent comparable interface from being used outside constraints

#238300 opened 4 years ago by Robert Griesemer

rename UsesCgo to go115UsesCgo

#237417 opened 4 years ago by Matthew Dempsky

replace Config.UsesCgo with Checker.CgoFiles

#234526 opened 4 years ago by Matthew Dempsky

add UsesCgo config to support _cgo_gotypes.go

#231459 opened 4 years ago by Matthew Dempsky

improve errors for method calls with pointer receivers

#230380 opened 4 years ago by Rebecca Stambler

improve error message for pointer receiver errors

#229801 opened 4 years ago by Rebecca Stambler

remove duplicate assert call (minor cleanup)

#228903 opened 4 years ago by Robert Griesemer

add detail to missing method error messages

#228457 opened 4 years ago by Rebecca Stambler

use same local variable consistently (minor cleanup)

#228105 opened 4 years ago by Robert Griesemer

report correct argument types for make() built-in calls

#220585 opened 4 years ago by Robert Griesemer

report correct number of arguments for make() built-in calls

#220584 opened 4 years ago by Robert Griesemer

simplify method set computation

#218618 opened 4 years ago by Robert Griesemer

fix method set computation

#218617 opened 4 years ago by Robert Griesemer

unexport Checker.LookupFieldOrMethod

#217134 opened 4 years ago by Robert Griesemer

constant string index and slice expressions are constantwait-release

#216977 opened 4 years ago by Robert Griesemer

print package path in error messages if package name is not unique

#209578 opened 5 years ago by Robert Griesemer

Checker.identical0() fix

#204477 opened 5 years ago by guzenok

clarify documentation

#204044 opened 5 years ago by Robert Griesemer

don't update package-external types when checking validity

#202483 opened 5 years ago by Robert Griesemer

don't update the underlying type of an imported type

#201838 opened 5 years ago by Robert Griesemer

don't skip defined types when reporting cycles

#199937 opened 5 years ago by Robert Griesemer

remove objSet type in favor of explicit map type (cleanup)

#198044 opened 5 years ago by Robert Griesemer

simplify some code and remove TODOs (cleanup)

#198042 opened 5 years ago by Robert Griesemer

don't clone interface methods when embedding them

#196561 opened 5 years ago by Robert Griesemer

fix cycle detection

#196338 opened 5 years ago by Robert Griesemer

move Identical* predicates into api.go file (cleanup)

#196337 opened 5 years ago by Robert Griesemer

make sure interfaces are complete before comparing them

#195837 opened 5 years ago by Robert Griesemer

remove unused pathString and rename objPathString to pathString (cleanup)

#195817 opened 5 years ago by Robert Griesemer

fix iota undefined after ConstDecl inside function in ConstSpec

#194737 opened 5 years ago by Cuong Manh Le

process each segment of delayed actions in FIFO order

#191458 opened 5 years ago by Robert Griesemer

postpone interface method type comparison to the end

#191418 opened 5 years ago by Robert Griesemer

NewInterface/NewInterfaceType complete empty interfaces

#191417 opened 5 years ago by Robert Griesemer

allow embedding overlapping interfaces

#191257 opened 5 years ago by Robert Griesemer

simplify duplicate detection

#190377 opened 5 years ago by Robert Griesemer

allow embedding overlapping interfaceswait-release

#190258 opened 5 years ago by Robert Griesemer

add -halt flag to ease debugging in test modewait-release

#190257 opened 5 years ago by Robert Griesemer

avoid race condition with dot-imported objects

#183849 opened 5 years ago by Robert Griesemer

add tests for new Go 2 number literals

#160240 opened 5 years ago by Robert Griesemer

include test/fixedbugs/bug073.go again in test

#159319 opened 5 years ago by Robert Griesemer

permit signed integer shift count

#159317 opened 5 years ago by Robert Griesemer

add gccgo sizes informationex-wait-release

#158844 opened 5 years ago by Ian Lance Taylor

don't create new context string for each argument of each call

#157037 opened 5 years ago by Robert Griesemer

better error messages for field lookup errors

#152764 opened 6 years ago by Robert Griesemer

use new importer.ForCompiler for gotype command

#152538 opened 6 years ago by Robert Griesemer

fix interface receiver type for incremental type-checking

#152259 opened 6 years ago by Robert Griesemer

[release-branch.go1.11] avoid certain problems with recursive alias type declarations

#151500 opened 6 years ago by Robert Griesemer

avoid certain problems with recursive alias type declarations

#147597 opened 6 years ago by Robert Griesemer

[release-branch.go1.11] use correct receiver types for embedded interface methods

#146660 opened 6 years ago by Robert Griesemer

add CheckExpr function to type-check an expressionex-wait-release

#144677 opened 6 years ago by Alan Donovan

automatically ignore $GOROOT/test files that contain build tags

#144457 opened 6 years ago by Robert Griesemer

untyped shifted constants must fit their expected int type

#144385 opened 6 years ago by Robert Griesemer

report error for invalid use of ... in parameter lists

#143857 opened 6 years ago by Robert Griesemer

copy embedded methods unchanged when completing interfaces

#143757 opened 6 years ago by Robert Griesemer

temporarily disable a verification in Stdlib test

#143478 opened 6 years ago by Robert Griesemer

collect type info for type ...T in variadic functions

#143317 opened 6 years ago by Robert Griesemer

fix unsymmetric test when typechecking comparisons

#143277 opened 6 years ago by Robert Griesemer

accept recv base type that is alias to a pointer type

#143179 opened 6 years ago by Robert Griesemer

remove a test case and update comment

#141640 opened 6 years ago by Robert Griesemer

use correct receiver types for embedded interface methods

#141358 opened 6 years ago by Robert Griesemer

remove a TODO, enable a test

#139902 opened 6 years ago by Robert Griesemer

remove work-around for issue #26390

#139900 opened 6 years ago by Robert Griesemer

remove work-around for issue #26124

#139899 opened 6 years ago by Robert Griesemer

don't type-check method signatures eagerly anymore

#139897 opened 6 years ago by Robert Griesemer

fix recvPtr helper (follow-up on https://golang.org/cl/139422)

#139721 opened 6 years ago by Robert Griesemer

prepare for delayed type-checking of methods to when they are used

#139425 opened 6 years ago by Robert Griesemer

determine hasPtrRecv property from source rather than type

#139422 opened 6 years ago by Robert Griesemer

don't report cycle error if clearer error follows

#135700 opened 6 years ago by Robert Griesemer

simplify some internal code

#135699 opened 6 years ago by Robert Griesemer

fix a couple of internal comments

#135696 opened 6 years ago by Robert Griesemer

be more precise in API comment

#135116 opened 6 years ago by Robert Griesemer

fix scope printing (debugging support)

#135115 opened 6 years ago by Robert Griesemer

fix swapped use of "uses" and "defines" in ObjectOf documentation

#134295 opened 6 years ago by Dominik Honnef

fix internal comments and add additional test case

#133415 opened 6 years ago by Robert Griesemer

[release-branch.go1.11] handle nil pointer when panic is written outside of a function

#133395 opened 6 years ago by Rebecca Stambler

correct misspelling in function doc

#132779 opened 6 years ago by Leigh McCulloch

fix crash following misuse of [...]T in composite literal

#132355 opened 6 years ago by Rebecca Stambler

handle nil pointer when panic is written outside of a function

#132235 opened 6 years ago by Rebecca Stambler

add support for GOARCH=sparc64

#132155 opened 6 years ago by Tobias Klauser

better names for internal helper functions (cleanup)

#130595 opened 6 years ago by Robert Griesemer

remove explicit path parameter from most type-checker functions (cleanup)

#130476 opened 6 years ago by Robert Griesemer

track local cycles using same mechanism as for global objects

#130455 opened 6 years ago by Robert Griesemer

fix errors in recording type information

#128835 opened 6 years ago by Rebecca Stambler

if base type for an alias is known, use it when needed

#128435 opened 6 years ago by Robert Griesemer

record type information after detecting error

#123578 opened 6 years ago by Rebecca Stambler

ignore artificial cycles introduced via method declarations

#121757 opened 6 years ago by Robert Griesemer

correctly compute cycle length

#121755 opened 6 years ago by Robert Griesemer

rename NewInterface2 to NewInterfaceType

#120875 opened 6 years ago by Robert Griesemer

add support for GOARCH=riscv64

#118618 opened 6 years ago by Tobias Klauser

extend cycle detection past simple type cycles

#116815 opened 6 years ago by Robert Griesemer

add missing test case for https://golang.org/cl/116735

#116775 opened 6 years ago by Robert Griesemer

don't report errors referring to invalid types or operands

#116735 opened 6 years ago by Robert Griesemer

remove visited flag for constants and variables (cleanup)

#115619 opened 6 years ago by Robert Griesemer

report object path in trace mode

#115457 opened 6 years ago by Robert Griesemer

better cycle reporting for some cyclic composite literals

#115456 opened 6 years ago by Robert Griesemer

use color-marking based cycle detection at package level

#115455 opened 6 years ago by Robert Griesemer

don't over-eagerly verify embedded interfaces

#115155 opened 6 years ago by Robert Griesemer

add struct field with invalid type if field has errors

#115115 opened 6 years ago by Robert Griesemer

initial framework for marking-based cycle detection

#114517 opened 6 years ago by Robert Griesemer

fix typo causing loss of embedded interfaces

#114504 opened 6 years ago by Alan Donovan

permit embedding of non-defined interfaces via alias type names

#114317 opened 6 years ago by Robert Griesemer

adopt spec terminology, use 'embedded' rather then 'anonyous' field

#112716 opened 6 years ago by Robert Griesemer

better cycle reporting for some cyclic composite literals

#112275 opened 6 years ago by Robert Griesemer

towards better cycle reporting (step 2)

#112161 opened 6 years ago by Robert Griesemer

towards better cycle reporting (step 1)

#112055 opened 6 years ago by Robert Griesemer

towards better cycle reporting (step 1)

#111263 opened 6 years ago by Robert Griesemer

add doc strings to various undocumented exported objects

#110975 opened 6 years ago by Robert Griesemer

fix internal documentation and strengthen assumptions

#110916 opened 6 years ago by Robert Griesemer

fix format errors

#109343 opened 6 years ago by Russ Cox

fix lhs/rhs mixup in docs

#109142 opened 6 years ago by Matthew Dempsky

use correct (file) scopes when computing interface method sets

#109139 opened 6 years ago by Robert Griesemer

update internal (now incorrect) comment on deps field

#106459 opened 6 years ago by Robert Griesemer

fix column reporting of invalid selector names

#104155 opened 6 years ago by Giovanni Bajo

add js/wasm architecture

#102835 opened 6 years ago by Richard Musiol

change examples to use source importer

#101286 opened 6 years ago by jimmyfrasche

prevent errors involving invalid types

#97815 opened 6 years ago by Daniel Martí

fix incorrect context when type-checking interfaces

#97535 opened 6 years ago by Robert Griesemer

fix empty interface optimization (minor performance bug)

#97519 opened 6 years ago by Robert Griesemer

type-check embedded methods in correct scope (regression)

#96376 opened 6 years ago by Robert Griesemer

add -panic flag to gotype command for debugging

#96375 opened 6 years ago by Robert Griesemer

fix regression with short variable declarations

#96177 opened 6 years ago by Robert Griesemer

make gotype continue after syntax errors

#93815 opened 6 years ago by Robert Griesemer

better handle arrays whose length expression is invalid

#93438 opened 6 years ago by Robert Griesemer

use consistent receiver names

#91736 opened 6 years ago by Daniel Martí

fix spelling mistake in comment

#89417 opened 6 years ago by Kevin Burke

more robust behavior in the presence errors (due to import "C")

#88375 opened 6 years ago by Robert Griesemer

use check.lookup consistently where possible (cleanup)

#85199 opened 7 years ago by Robert Griesemer

correctly determine if panic call refers to built-in

#85198 opened 7 years ago by Robert Griesemer

document Typ slice

#85075 opened 7 years ago by Robert Griesemer

perform delayed tests even for types.Eval

#84898 opened 7 years ago by Robert Griesemer

rename (historic) flag "-list" used for go/types testing

#84378 opened 7 years ago by Robert Griesemer

don't associate methods with alias type names

#83996 opened 7 years ago by Robert Griesemer

remove TODOs from API that cannot be changed (cleanup)

#83935 opened 7 years ago by Robert Griesemer

collect methods with parenthesized receiver types

#83918 opened 7 years ago by Robert Griesemer

remove assert that cannot fail (cleanup)

#83915 opened 7 years ago by Robert Griesemer

accept iotas inside closures of const init expressions

#83579 opened 7 years ago by Robert Griesemer

delay type-checking of function literals

#83397 opened 7 years ago by Robert Griesemer

add lookup method to context and factor out LookupParent calls

#83017 opened 7 years ago by Robert Griesemer

don't use directory foo which might exist under GOPATH

#81578 opened 7 years ago by Robert Griesemer

report error when recognizing issue #18395.

#80455 opened 7 years ago by Robert Griesemer

correctly compute method set of some recursive interfaces

#79575 opened 7 years ago by Robert Griesemer

fix type in Interface.Complete method

#79497 opened 7 years ago by Robert Griesemer

error if main.main is not a function

#79435 opened 7 years ago by Matthew Dempsky

add debugging code to detect use of incomplete interfaces

#78955 opened 7 years ago by Robert Griesemer

do not crash on Inf*0 Float multiplications

#76190 opened 7 years ago by Alberto Donizetti

add missing documentation to Object factory functions

#75595 opened 7 years ago by griesemer

avoid repeated "declared but not used" errors for closure variables

#75251 opened 7 years ago by griesemer

sort unused declaration errors

#75090 opened 7 years ago by Daniel Martí

apply TODO now that issue is fixed

#74991 opened 7 years ago by Daniel Martí

improved documentation for WriteExpr and ExprString

#72690 opened 7 years ago by griesemer

add test verifying corner-case behavior of iota

#71974 opened 7 years ago by griesemer

import "unsafe" always means package unsafe

#67634 opened 7 years ago by griesemer

don't accept incorrect shift expression arguments

#65370 opened 7 years ago by griesemer

remove superfluous import comment

#64250 opened 7 years ago by griesemer

escape +build sequence to silence vet warning

#60776 opened 7 years ago by Matthew Dempsky

fix Info.Implicits entries

#60672 opened 7 years ago by griesemer

add +build ignore to file generated by hilbert test

#60531 opened 7 years ago by griesemer

document that Signature.Recv() is ignored for type identity

#55710 opened 7 years ago by griesemer

remove nil check around range

#54131 opened 7 years ago by Daniel Martí

prevent crash in type cycles involving non-type expressions

#46467 opened 7 years ago by Robert Griesemer

more robust operand printing

#46393 opened 7 years ago by Robert Griesemer

adjust type-checking of shifts to match compilers

#45074 opened 7 years ago by Robert Griesemer

don't panic in complex division

#44590 opened 7 years ago by Alberto Donizetti

fewer spurious "declared but not used" follow-on errors

#43500 opened 7 years ago by Robert Griesemer

remove invalid documentation and assertion on package names

#42852 opened 7 years ago by Robert Griesemer

quaternions support

#39216 opened 7 years ago by Matthew Dempsky

use std "DO NOT EDIT" comment for generated hilbert test

#39171 opened 7 years ago by Robert Griesemer

better error for assignment count mismatches

#38315 opened 7 years ago by Robert Griesemer

enforce Check path restrictions via panics

#38262 opened 7 years ago by Daniel Martí

remove unused field parameter

#37832 opened 7 years ago by Daniel Martí

continue type-checking with fake packages if imports failed

#37697 opened 7 years ago by Robert Griesemer

don't exclude package unsafe from a Package's Imports list

#37694 opened 7 years ago by Robert Griesemer

add a compiler param to SizesFor

#37666 opened 7 years ago by Josh Bleecher Snyder

support type checking of external tests with gotype

#37656 opened 7 years ago by Robert Griesemer

gotype to always report the same first error now

#37655 opened 7 years ago by Robert Griesemer

change local gotype command to use source importer

#37654 opened 7 years ago by Robert Griesemer

implement SizesFor convenience function

#37583 opened 7 years ago by Robert Griesemer

fix doc string for Named.Obj

#37399 opened 7 years ago by Robert Griesemer

make type receiver variables names consistent

#37383 opened 7 years ago by Josh Bleecher Snyder

unsafe.Pointer is not an alias

#36622 opened 7 years ago by Alan Donovan

[dev.typealias] clarified doc string

#35245 opened 7 years ago by Robert Griesemer

[dev.typealias] various alias related fixes

#35101 opened 7 years ago by Robert Griesemer

[dev.typealias] export TypeName.IsAlias so clients can use it

#35099 opened 7 years ago by Robert Griesemer

[dev.typealias] improved Object printing

#35093 opened 7 years ago by Robert Griesemer

[dev.typealias] remove some more vestiges of prior alias implementation

#35092 opened 7 years ago by Robert Griesemer

[dev.typealias] implement type aliases

#35091 opened 7 years ago by Robert Griesemer

[dev.typealias] initial type alias support

#34986 opened 7 years ago by Robert Griesemer

fix typo

#34939 opened 7 years ago by gulyasm

permit f(nil...) for variadic arguments

#34194 opened 8 years ago by Alan Donovan

add UsesCgo config to support _cgo_gotypes.go

#33677 opened 8 years ago by Matthew Dempsky

look at underlying type of element type of composite literals with elided types

#33358 opened 8 years ago by Robert Griesemer

remove unused alias-related testdata files

#33019 opened 8 years ago by Robert Griesemer

document that selectors are not recorded in Info.Types

#32881 opened 8 years ago by Robert Griesemer

avoid redundant call to recordUse for anonymous fields

#32837 opened 8 years ago by Alan Donovan

revert user-visible changes related to aliases

#32819 opened 8 years ago by Robert Griesemer

Uses map should contain Alias, not TypeName, for struct{alias}

#32710 opened 8 years ago by Alan Donovan

set up correct type with NewAlias

#32637 opened 8 years ago by Robert Griesemer

handle imported aliases

#32534 opened 8 years ago by Robert Griesemer

basic Defs/Uses test for aliases

#32449 opened 8 years ago by Robert Griesemer

implement missing String method for Alias object

#32448 opened 8 years ago by Robert Griesemer

don't expose types.Alias kind field - only used by go/types

#32443 opened 8 years ago by Robert Griesemer

local type-checking of alias declarations

#32108 opened 8 years ago by Robert Griesemer

match cmd/compile's alignment for complex64

#31939 opened 8 years ago by Matthew Dempsky

expose Default function, which converts untyped T to T

#30715 opened 8 years ago by Alan Donovan

minimal support for alias declarations: don't crash

#30213 opened 8 years ago by Robert Griesemer

ignore struct tags when converting structs

#30190 opened 8 years ago by Robert Griesemer

fix bad variable shadowing in offsetsof

#28070 opened 8 years ago by Josh Bleecher Snyder

better doc string for Object.Parent and test

#27370 opened 8 years ago by Robert Griesemer

set Info.Types.Type for array composite literals of the form [...]T

#27316 opened 8 years ago by Robert Griesemer

enable disabled test for comma-ok expressions

#27310 opened 8 years ago by Robert Griesemer

fix scope extents for range and type switch variables

#27290 opened 8 years ago by Robert Griesemer

better error message for invalid fallthrough case

#27241 opened 8 years ago by Robert Griesemer

fix bad printf verbs

#26997 opened 8 years ago by Josh Bleecher Snyder

fix multiword data structure alignment on nacl

#26996 opened 8 years ago by Josh Bleecher Snyder

remove struct Sizeof cache

#26995 opened 8 years ago by Josh Bleecher Snyder

add extra tests for sizes/offsets computations

#26991 opened 8 years ago by Robert Griesemer

minor cleanups

#24153 opened 8 years ago by Robert Griesemer

fix computation of initialization order

#24131 opened 8 years ago by Robert Griesemer

better debugging output for init order computation

#23442 opened 8 years ago by Robert Griesemer

omit needless word in error message

#23373 opened 8 years ago by Russ Cox

don't drop type in n:1 var decl if one is given

#23313 opened 8 years ago by Robert Griesemer

fix certain vet warnings

#23083 opened 8 years ago by Aliaksandr Valialkin

trailing semis are ok after valid fallthrough

#22270 opened 8 years ago by Robert Griesemer

accept trailing empty stmts in terminating stmt lists

#22241 opened 8 years ago by Robert Griesemer

record CallExpr result type even if argument is invalid

#22085 opened 8 years ago by Alan Donovan

make Identical(nil, T) == Identical(T, nil)

#21585 opened 8 years ago by Alan Donovan

better error when assigning to struct field in map

#21463 opened 8 years ago by Caio Marcelo de Oliveira Filho

Position, SetPosition accessors for Object positions

#21080 opened 8 years ago by Alan Donovan

consider final padding when calculating size of struct

#21022 opened 8 years ago by Dominik Honnef

don't emit conversion error in non-numeric increment/decrement

#20244 opened 8 years ago by Caio Marcelo de Oliveira Filho

Scope: add RemoveChildren method

#20222 opened 8 years ago by Alan Donovan

nicer shift error message

#20081 opened 8 years ago by Matthew Dempsky

make sure constants valid in integer operations are in integer form

#19300 opened 8 years ago by Robert Griesemer

rename Importer2 to ImporterFrom

#18630 opened 8 years ago by Brad Fitzpatrick

slightly better doc strings

#18510 opened 8 years ago by Robert Griesemer

importing package unsafe is responsibility of importer

#18445 opened 9 years ago by Robert Griesemer

provide Importer2 supporting the Go 1.5 vendor experiment

#18308 opened 9 years ago by Robert Griesemer

add link to tutorial

#17975 opened 9 years ago by Alan Donovan

report invalid else branch in if statements

#17408 opened 9 years ago by Robert Griesemer

fix TypeString(nil, nil)

#16464 opened 9 years ago by Matthew Dempsky

support unsafe.Alignof(T) and unsafe.Sizeof(T)

#16093 opened 9 years ago by Matthew Dempsky

fix race-y initialization of Struct.offsets

#16013 opened 9 years ago by Aleksandr Demakin

check that typed constant shift expressions are representable

#15900 opened 9 years ago by Matthew Dempsky

fix incorrect comment at Info.Implicits.

#15320 opened 9 years ago by Alan Donovan

move gotype command into this directory

#15152 opened 9 years ago by Robert Griesemer

clarify doc string for types.Check

#15150 opened 9 years ago by Robert Griesemer

skip $GOROOT/src/*.go in TestStdlib

#14769 opened 9 years ago by Shenghou Ma

handle import "C" more like cmd/compile

#14722 opened 9 years ago by Robert Griesemer

unified handling of assignment errors

#14720 opened 9 years ago by Robert Griesemer

cleanup handling of multi-valued expressions

#14692 opened 9 years ago by Robert Griesemer

better error message when using multi-valued expressions in single-value context

#14660 opened 9 years ago by Robert Griesemer

enable disabled test

#14651 opened 9 years ago by Robert Griesemer

report detailed reason in error messages for invalid assignments

#14644 opened 9 years ago by Robert Griesemer

remove backward-compatibility files (cleanup)

#13897 opened 9 years ago by Robert Griesemer

check for duplicate values in expression switches

#13285 opened 9 years ago by Robert Griesemer

remove the renaming import of go/constant

#13051 opened 9 years ago by Rob Pike

fix real(a) and imag(a) for untyped arguments

#12939 opened 9 years ago by Robert Griesemer

fix complex(a, b) for untyped arguments a, b

#12937 opened 9 years ago by Robert Griesemer

update comment to refer to package go/constant

#12931 opened 9 years ago by Robert Griesemer

don't crash for erroneous program involving a shift in a declaration cycle

#12812 opened 9 years ago by Robert Griesemer

convert untyped switch expressions to default type

#12713 opened 9 years ago by Robert Griesemer

fix suspect or

#12517 opened 9 years ago by Damian Gryski

make types.Typ a slice, unexport UniverseByte/Rune

#12486 opened 9 years ago by Robert Griesemer

remove non-existing mention of MethodSetCache from comment

#12433 opened 9 years ago by Robert Griesemer

replace Typ[kind] with kind.Basic()

#12373 opened 9 years ago by Matthew Dempsky

fix internal inInteger operand predicate

#12045 opened 9 years ago by Robert Griesemer

change {Type,Object,Selection}String to accept a Qualifier function

#11790 opened 9 years ago by Alan Donovan

go/types: add an API test of the Scope type

#11714 opened 9 years ago by Alan Donovan

change {Type,Object,Selection}String to accept a qualify function

#11544 opened 9 years ago by Alan Donovan

in string(x) conversions, x must be of integer type

#11368 opened 9 years ago by Robert Griesemer

better error message for certain unary/binary expression errors

#11367 opened 9 years ago by Robert Griesemer

add missing test for constant shifts

#11317 opened 9 years ago by Robert Griesemer

use testenv.MustHaveGoBuild to exclude some builds

#11193 opened 9 years ago by Robert Griesemer

don't export gcCompatibilityMode flag

#11150 opened 9 years ago by Robert Griesemer

fix Eval to use correct file set when evaluating an expression

#11125 opened 9 years ago by Robert Griesemer

port recent x/tools/go/types fixes

#11122 opened 9 years ago by Robert Griesemer

disable example on darwin/arm

#11086 opened 9 years ago by David Crawshaw

exclude some example tests for arm64, nacl (fix build)

#11043 opened 9 years ago by Robert Griesemer

add Example of API usage

#10927 opened 9 years ago by Alan Donovan

remove unused return value

#10774 opened 9 years ago by Robert Griesemer

remove MethodSetCache - not needed

#10771 opened 9 years ago by Robert Griesemer

provide the ability to pass types.Info to types.Eval

#10474 opened 9 years ago by c9s

make validatedImportPath function public

#10470 opened 9 years ago by c9s

fix error message for embedded non-interface types in interfaces

#10466 opened 9 years ago by Robert Griesemer

remove "vendoring" script - not useful anymore

#10086 opened 9 years ago by Robert Griesemer

remove MethodSet, MethodSetCache - not required

#10084 opened 9 years ago by Robert Griesemer

remove _ imports that are not needed anymore

#10082 opened 9 years ago by Robert Griesemer

rename Scope to Block

#10047 opened 9 years ago by Alan Donovan

also skip tests on nacl/arm

#9674 opened 9 years ago by Shenghou Ma

capture the lexical environment of each reference

#9493 opened 9 years ago by Alan Donovan

move go/types/internal/gcimport => go/internal/gcimporter

#8764 opened 9 years ago by Robert Griesemer

maintain a package map keyed by import path

#8716 opened 9 years ago by Peter Collingbourne

more selective disabling of tests

#8611 opened 9 years ago by Robert Griesemer

enable disabled test

#8610 opened 9 years ago by Robert Griesemer

skip failing tests (fix build)

#8594 opened 9 years ago by Robert Griesemer

"vendor" go/types into std repo

#8530 opened 9 years ago by Robert Griesemer