go/types

New Issue

remove discrepancy between type-checker and compiler error messagesNeedsFix

#55326 opened 1 week ago by griesemer

no way to construct the signature of append(s, "string"...) via the API [1.19 backport]CherryPickApproved

#55149 opened 2 weeks ago by gopherbot

no way to construct the signature of append(s, "string"...) via the API [1.18 backport]CherryPickApproved

#55148 opened 2 weeks ago by gopherbot

no way to construct the signature of append(s, "string"...) via the APINeedsFix

#55030 opened 3 weeks ago by findleyr

interface mismatch error message could be more helpfulNeedsInvestigation

#54942 opened 3 weeks ago by kylec1

data race in computeInterfaceTypeSetNeedsFix

#54667 opened 1 month ago by adonovan

data race in computeInterfaceTypeSet since 2022-08-18NeedsInvestigationSoonrelease-blocker

#54653 opened 1 month ago by bcmills

share testsNeedsFix

#54511 opened 1 month ago by griesemer

Syntax (interface vs nil struct) This example breaks the concept of passing nil values to interface

#54470 opened 1 month ago by vorishirne

don't build errors in AssignableTo, ConvertibleToNeedsFixPerformance

#54172 opened 2 months ago by findleyr

incorrect alignment of sync/atomic.Int64 and Uint64NeedsFixrelease-blocker

#53884 opened 2 months ago by aclements

disagrees with compiler on float truncation when using export dataNeedsInvestigation

#53803 opened 2 months ago by dominikh

error messages sometimes use `x|y` and sometimes `x | y` for union termsNeedsFix

#53279 opened 3 months ago by griesemer

`Implements` function returns wrong result

#53156 opened 4 months ago by hoyhbx

stack overflow in hasVarSize for invalid generic typeNeedsInvestigation

#52915 opened 4 months ago by findleyr

NewMethodSet doesn't terminate for recursively embedded generics [1.18 backport]CherryPickApproved

#52804 opened 4 months ago by gopherbot

guarantee that a finite number of distinct instances are reachable via the APINeedsFixrelease-blocker

#52728 opened 5 months ago by findleyr

NewMethodSet doesn't terminate for recursively embedded genericsNeedsFixrelease-blocker

#52715 opened 5 months ago by dominikh

add gc arch size for loong64

#52495 opened 5 months ago by findleyr

internal error when function as generic argumentNeedsInvestigation

#52378 opened 5 months ago by peterq

go generic assert compile escape [1.18 backport]CherryPickApproved

#52244 opened 5 months ago by gopherbot

go generic assert compile escapeNeedsInvestigationrelease-blocker

#52228 opened 5 months ago by elvizlai

type set overlapping implementation for interface types might be not correct [1.18 backport]CherryPickApproved

#52119 opened 6 months ago by gopherbot

spurious diagnostics for untyped shift operands with GoVersion < go1.13 [1.18 backport]CherryPickApproved

#52032 opened 6 months ago by gopherbot

spurious diagnostics for untyped shift operands with GoVersion < go1.13

#52031 opened 6 months ago by findleyr

documentation on instance de-duplication is unclear about guarantees [1.18 backport]CherryPickApprovedDocumentation

#52028 opened 6 months ago by gopherbot

scope is unset on receivers of instantiated methods [1.18 backport]CherryPickApproved

#52007 opened 6 months ago by gopherbot

scope is unset on receivers of instantiated methodsNeedsFix

#51920 opened 6 months ago by findleyr

`go vet` crash when using self-recursive anonymous types in constraints [1.18 backport]CherryPickApproved

#51727 opened 6 months ago by gopherbot

`go vet` crash when using self-recursive anonymous types in constraintsNeedsFixSoonrelease-blocker

#51717 opened 6 months ago by cr7pt0gr4ph7

add Object.Origin [freeze exception]ProposalProposal-AcceptedProposal-FinalCommentPeriod

#51682 opened 6 months ago by findleyr

documentation on instance de-duplication is unclear about guaranteesDocumentation

#51680 opened 6 months ago by findleyr

gopls crash in recordTypeAndValue [1.18 backport]CherryPickApproved

#51665 opened 6 months ago by gopherbot

gopls crash in recordTypeAndValueNeedsFix

#51658 opened 6 months ago by sxwebdev

alias types are restricted to basic interfaces, should allow arbitrary interfacesNeedsFix

#51616 opened 6 months ago by go101

duplicate key not detected for map composite literals with certain generic key typesNeedsFix

#51610 opened 6 months ago by griesemer

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

#51581 opened 6 months ago by griesemer

revisit implementation LookupFieldOrMethodNeedsInvestigation

#51580 opened 6 months ago by griesemer

disable field accesses through type parameters for nowNeedsFixrelease-blocker

#51576 opened 6 months ago by griesemer

disable inference for instances of defined types (not functions) for 1.18NeedsFixTypeInferencegenericsrelease-blocker

#51527 opened 7 months ago by findleyr

nil underlying for selectors on the current type declNeedsFix

#51509 opened 7 months ago by findleyr

duplicate type instances are not recorded in Info.InstancesNeedsFixrelease-blocker

#51494 opened 7 months ago by findleyr

missing type due to delayed type-type inferenceNeedsFix

#51489 opened 7 months ago by findleyr

scope for `:=`-defined range iteration variables is incorrectNeedsFixrelease-blocker

#51437 opened 7 months ago by contrast-jproberts

report error in case of infinite recursion during unificationNeedsFixearly-in-cycle

#51377 opened 7 months ago by griesemer

revisit core type unification in the presence of ~ constraintsNeedsFix

#51376 opened 7 months ago by griesemer

`TypeParam.check` field is never nilled out and leaks from the type checkerNeedsFix

#51326 opened 7 months ago by griesemer

gopls crash in computeInterfaceTypeSet with "duplicate method"NeedsFixrelease-blocker

#51316 opened 7 months ago by wushilin

Info.Selections records unique objects for generic methodsNeedsInvestigation

#51184 opened 7 months ago by dominikh

cannot infer type arguments in self-recursive call (stack overflow in unification)NeedsFix

#51158 opened 7 months ago by griesemer

signature recorded for `cap`/`len` built in calls incorrectly uses underlying type of argumentNeedsFix

#51055 opened 7 months ago by griesemer

documentation on Type.Underlying needs clarificationDocumentationNeedsInvestigation

#51036 opened 8 months ago by dominikh

export term/termlist logicProposal

#50963 opened 8 months ago by bobg

superfluous extra error message when type inference failsNeedsFix

#50932 opened 8 months ago by griesemer

gopls crash in unificationNeedsInvestigationrelease-blocker

#50929 opened 8 months ago by virtuald

document predicates on generic typesDocumentationNeedsInvestigation

#50887 opened 8 months ago by findleyr

incorrect receiver on instantiated interface methodsNeedsFixrelease-blocker

#50839 opened 8 months ago by findleyr

bad "invalid composite literal type" error for type parameter with pointer structural typeNeedsDecision

#50833 opened 8 months ago by mdempsky

unable to implement method of an interface with a generic return valueNeedsInvestigationgenerics

#50828 opened 8 months ago by teken

infinite recursion in gopls via *TypeParam.UnderlyingNeedsInvestigationrelease-blocker

#50803 opened 8 months ago by virtuald

print instantiated types with package qualification in type cycles spanning external packagesNeedsFix

#50788 opened 8 months ago by griesemer

TypeList has a String method, but TypeParamList does notNeedsDecision

#50760 opened 8 months ago by findleyr

missing error for conflicting method types due to incremental unificationNeedsDecision

#50704 opened 8 months ago by findleyr

LookupFieldOrMethod no longer accepts a nil type (aka "should go/types accept nil types?")NeedsFix

#50620 opened 8 months ago by dominikh

broken invariants with respect to generic receiver typesNeedsDecisionrelease-blocker

#50619 opened 8 months ago by findleyr

stack overflow results after naming type parameter after interface name.NeedsInvestigation

#50517 opened 8 months ago by bmizerany

misleading error message for type parameter field accessNeedsFix

#50516 opened 8 months ago by griesemer

gopls crash on method with type parametersNeedsInvestigationToolsrelease-blocker

#50427 opened 9 months ago by KarlShing

generic type parameter cannot be inferred from calling function's return type

#50398 opened 9 months ago by andrewortman

infinite recursion if constraint type and type param have same nameNeedsInvestigationrelease-blocker

#50321 opened 9 months ago by ArnaudCelermajer

append within a generic function does not compileNeedsFix

#50281 opened 9 months ago by stellirin

missing types for unionsNeedsInvestigationrelease-blocker

#50093 opened 9 months ago by findleyr

method signatures not identical modulo receiver type parameter namesNeedsFixrelease-blocker

#49912 opened 10 months ago by findleyr

panic in type parameter->type parameter conversionNeedsFixrelease-blocker

#49864 opened 10 months ago by findleyr

invalid types may still be unexpandedNeedsInvestigationrelease-blocker

#49857 opened 10 months ago by findleyr

audit performance before the betaNeedsInvestigationrelease-blocker

#49856 opened 10 months ago by findleyr

better error message for failing inference for arguments using type parametersNeedsInvestigation

#49800 opened 10 months ago by mpx

type parameters returned by the API should not have unresolved underlyingNeedsFixrelease-blocker

#49788 opened 10 months ago by findleyr

preserve the original constraint for the Constraint APINeedsDecisionrelease-blocker

#49787 opened 10 months ago by findleyr

'Implements' API does not consider structural restrictionsNeedsFixrelease-blocker

#49786 opened 10 months ago by findleyr

incorrect behavior of API methods on invalid unionsNeedsFix

#49739 opened 10 months ago by findleyr

better error messages for copy, othersNeedsFix

#49735 opened 10 months ago by griesemer

Identical does not fully match pairwise-identical signature type parametersNeedsFix

#49722 opened 10 months ago by findleyr

constant with inferred type constrained by constraints.Integer not allowed as shifted operand

#49705 opened 10 months ago by fzipp

confusing error message when using comparable in a unionNeedsFix

#49602 opened 10 months ago by Code-Hex

Generics error message doesn’t match source code when using `any`NeedsFix

#49583 opened 10 months ago by JeremyLoy

type parameter type string is misleadingNeedsDecisionrelease-blocker

#49215 opened 11 months ago by findleyr

TypeName.IsAlias reports true for type parametersNeedsFixrelease-blocker

#49213 opened 11 months ago by mdempsky

remove left-over uses of "type list" and "operational type" (cleanup)NeedsFix

#49193 opened 11 months ago by griesemer

need better mechanism to control lang version for testsNeedsInvestigation

#49074 opened 11 months ago by griesemer

panic with mutual instantiationrelease-blocker

#49043 opened 11 months ago by findleyr

memory usage doubled in 1.17NeedsInvestigation

#49035 opened 11 months ago by danmillwood

ConvertibleTo reports false for string(int) conversionNeedsFix

#48987 opened 11 months ago by griesemer

type-checking expands type foreverNeedsInvestigationrelease-blocker

#48974 opened 11 months ago by griesemer

missing errors for invalid parameterized type declarationsNeedsFix

#48962 opened 11 months ago by griesemer

infinite loop typechecking (invalid) recursive generic structNeedsFixrelease-blocker

#48951 opened 11 months ago by mdempsky

error messages print `untyped nil`, compiler used to print just `nil`NeedsInvestigation

#48852 opened 1 year ago by griesemer

confusing error message for invalid instantiation of non-generic typeNeedsFixokay-after-beta1release-blocker

#48827 opened 1 year ago by findleyr

stack overflow in hasVarSize for invalid type [1.17 backport]CherryPickApproved

#48825 opened 1 year ago by gopherbot

stack overflow in hasVarSize for invalid typeNeedsFixrelease-blocker

#48819 opened 1 year ago by findleyr

type parameter objects are not consistent across method signaturesNeedsInvestigationgenerics

#48795 opened 1 year ago by schroederc

misleading error message when type param is not comparableNeedsInvestigation

#48712 opened 1 year ago by findleyr

avoid infinitely recursive instantiation through method signaturesNeedsFixrelease-blocker

#48703 opened 1 year ago by findleyr

recursive type matching regressionNeedsInvestigationrelease-blocker

#48695 opened 1 year ago by reusee

Simple generic code makes compiler loop foreverNeedsInvestigationrelease-blocker

#48671 opened 1 year ago by aDotInTheVoid

correctly handle some recursive constraint type inference cases - don't bail outNeedsFix

#48656 opened 1 year ago by findleyr

recursive call of generic function with concrete type argument failsThinking

#48638 opened 1 year ago by griesemer

type inference should report a better error messageNeedsFix

#48619 opened 1 year ago by eliben

implement slice operations with type parameter typesNeedsDecision

#48618 opened 1 year ago by findleyr

cycles through unions are not detectedFrozenDueToAge

#48582 opened 1 year ago by findleyr

panic in instance with invalid recursive constraintrelease-blocker

#48529 opened 1 year ago by findleyr

panic when using reflect.TypeOf in unexported structFrozenDueToAge

#48351 opened 1 year ago by qmuntal

embedded field type cannot be a (pointer to a) type parameterFrozenDueToAge

#48334 opened 1 year ago by zllangct

wrong result of float add floatFrozenDueToAge

#48315 opened 1 year ago by 180909

better error message when using *interface instead of interfaceNeedsFix

#48312 opened 1 year ago by zllangct

remove support for type list syntax (cleanup)NeedsFix

#48261 opened 1 year ago by findleyr

panic in eager error reporting for interface typesNeedsInvestigation

#48234 opened 1 year ago by findleyr

need to detect invalid recursive type instantiationNeedsFix

#48098 opened 1 year ago by griesemer

unions must not accept uninstantiated typesNeedsFix

#48083 opened 1 year ago by griesemer

panic in error reporting for invalid use of "init" [1.17 only]CherryPickApprovedFrozenDueToAgerelease-blocker

#48082 opened 1 year ago by findleyr

pointer to generic type can be used in a type switch without instantiationNeedsFixrelease-blocker

#48008 opened 1 year ago by qmuntal

inconsistent handling of `len` on pointer-to-array type parametersNeedsDecisionokay-after-beta1release-blocker

#47991 opened 1 year ago by mdempsky

(constraint) type inference for parameterized types is not implementedNeedsFixrelease-blocker

#47990 opened 1 year ago by griesemer

declaring methods on instantiated types through an alias type should not be permittedNeedsInvestigationrelease-blocker

#47968 opened 1 year ago by griesemer

panic "assertion failed" when autocompleting generic test codeNeedsInvestigationWaitingForInfo

#47923 opened 1 year ago by jayconrod

additions to support type parametersProposalProposal-AcceptedProposal-FinalCommentPeriod

#47916 opened 1 year ago by findleyr

make instantiation concurrency-safeFrozenDueToAgeNeedsFix

#47910 opened 1 year ago by findleyr

incorrect type reported for comma-err C functions (manifests itself in IDEs) [1.17 backport]CherryPickApprovedFrozenDueToAgerelease-blocker

#47854 opened 1 year ago by gopherbot

self-referential type parameter list is not acceptedNeedsDecision

#47796 opened 1 year ago by griesemer

incorrect type reported for comma-err C functions (manifests itself in IDEs)NeedsFixToolsgopls

#47777 opened 1 year ago by AndSDev

data race due to lazy interface completionNeedsFixSoon

#47726 opened 1 year ago by findleyr

pseudo-specialization sometimes works, but not reallyFrozenDueToAge

#47419 opened 1 year ago by 4ad

embedding comparable ignores other type set constraints NeedsFix

#47411 opened 1 year ago by griesemer

change in embedded type ordering on dev.typeparams branchFrozenDueToAgeNeedsDecision

#47352 opened 1 year ago by mdempsky

race condition due to lazy initialization of universeErrorNeedsFix

#47345 opened 1 year ago by mdempsky

untyped int literal is identified as uint in go1.17NeedsFixrelease-blocker

#47243 opened 1 year ago by ktye

do not accept generic features unless -lang is go1.18 or greaterNeedsFix

#47205 opened 1 year ago by griesemer

conversions involving type parameters don't workNeedsFixrelease-blocker

#47150 opened 1 year ago by griesemer

handle embedding of type parameters correctlyNeedsDecision

#47127 opened 1 year ago by griesemer

channel send on type parameters that describe channel sets not implementedNeedsFix

#47115 opened 1 year ago by griesemer

repeated identical external instantiations of the same type will lead to different typesNeedsFixrelease-blocker

#47103 opened 1 year ago by griesemer

bug in new package qualification logic+misleading testsrelease-blocker

#46905 opened 1 year ago by findleyr

ensure that Named.Orig is indempotentNeedsInvestigationearly-in-cycle

#46794 opened 1 year ago by mdempsky

add a Config.GoVersion field to set the target language versionFrozenDueToAgeProposalProposal-AcceptedProposal-FinalCommentPeriod

#46648 opened 1 year ago by findleyr

change (*types.Package)(nil).Scope() to return types.Universe instead of panickingNeedsDecision

#46594 opened 1 year ago by mdempsky

type instantiation fails to distinguish similarly named defined types within a packageNeedsFix

#46592 opened 1 year ago by mdempsky

self-reference within type parameter constraintsNeedsInvestigation

#46461 opened 1 year ago by mdempsky

'comparable' still in universe scope for 1.17FrozenDueToAgeNeedsFixrelease-blocker

#46453 opened 1 year ago by findleyr

dev.typeparams branch: cannot use T₈ value as type IBase in assignment: T₈ does not implement IBase (missing GetName method)NeedsInvestigation

#46442 opened 1 year ago by zllangct

change Interface.Embedded to panic instead of returning nil for non-defined typesProposal

#46423 opened 1 year ago by mdempsky

audit error messages for go1.17FrozenDueToAgeNeedsInvestigationrelease-blocker

#46404 opened 1 year ago by findleyr

APIs for constructing and destructing constraint typesFrozenDueToAgeNeedsInvestigation

#46316 opened 1 year ago by mdempsky

unexport the GoVersion configuration option for Go 1.17DocumentationFrozenDueToAgeNeedsFixrelease-blocker

#46296 opened 1 year ago by findleyr

uninstantiated method in assignment checkNeedsInvestigation

#46275 opened 1 year ago by findleyr

investigate if we can get rid of internal gcCompatibilityMode flagNeedsInvestigation

#46174 opened 1 year ago by griesemer

unnecessarily incomplete interface in error messageNeedsInvestigation

#46167 opened 1 year ago by findleyr

typeparams: sanitize Scopes, etcNeedsInvestigation

#46151 opened 1 year ago by findleyr

TestStdlib is accidentally skippedFrozenDueToAgeNeedsFixSoonTestingrelease-blocker

#46027 opened 1 year ago by findleyr

expose the (experimental) type parameter API for 1.17 with -tags=typeparamsFrozenDueToAgeNeedsFix

#46003 opened 1 year ago by findleyr

nonsensical error message and position when type argument does not match constraintNeedsInvestigation

#45985 opened 1 year ago by findleyr

revisit mapping of TypeNames to TypeParamsNeedsInvestigation

#45935 opened 1 year ago by mdempsky

make constraint type inference more flexible for some channel types (?)NeedsInvestigation

#45920 opened 1 year ago by griesemer

tip: math/all_test.go:1963:2: constant overflowFrozenDueToAgeNeedsFix

#45874 opened 1 year ago by dominikh

better error message for incompatible types due to method signature mismatchNeedsFix

#45813 opened 1 year ago by griesemer

ignore function literal bodies if IgnoreFuncBodies is setFrozenDueToAgeNeedsFix

#45783 opened 1 year ago by findleyr

suspicious return of Typ[Int] in (*Checker).indexFrozenDueToAgeNeedsFix

#45667 opened 1 year ago by mdempsky

missing error for incorrect [...]arrayFrozenDueToAgeNeedsInvestigationrelease-blocker

#45651 opened 1 year ago by griesemer

disallow type parameters as RHS of type declarationsNeedsFixgenerics

#45639 opened 1 year ago by findleyr

missing error message for incorrect (generic) programFrozenDueToAgeNeedsInvestigationrelease-blocker

#45635 opened 1 year ago by rvolosatovs

audit memory usage for go1.17FrozenDueToAgeNeedsInvestigationokay-after-beta1release-blocker

#45580 opened 1 year ago by findleyr

missing error for non-comparable switch expression in empty switchFrozenDueToAgeNeedsFix

#45575 opened 1 year ago by griesemer

stack overflow checking recursive generic typeNeedsInvestigation

#45550 opened 1 year ago by findleyr

adjust type checking of string(1 << s) pending issue #45114NeedsFix

#45117 opened 2 years ago by griesemer

type inference fails when a prefix of type arguments is providedFrozenDueToAgeNeedsInvestigation

#44799 opened 2 years ago by griesemer

spurious compile error when embedding a parameterized type in a structFrozenDueToAgeNeedsFix

#44688 opened 2 years ago by adonovan

writeType does not invoke Qualifier when printing an unsafe.PointerFrozenDueToAge

#44515 opened 2 years ago by cixel

data race in x/tools -race buildersFrozenDueToAge

#44434 opened 2 years ago by findleyr

encoding used by objectpath is inconsistent for use by compiler & tools/analysisAnalysisNeedsInvestigation

#44195 opened 2 years ago by amscanne

type checker accepts import of package called "init"FrozenDueToAgeNeedsFix

#43962 opened 2 years ago by griesemer

missing error for shifts by huge untyped integersFrozenDueToAgeNeedsFix

#43697 opened 2 years ago by griesemer

type checker does not allow to use receive operation even all types in type list are channels NeedsFix

#43671 opened 2 years ago by tdakkota

disallow embedding type parametersFrozenDueToAgeNeedsInvestigation

#43621 opened 2 years ago by mdempsky

missing error for incorrect main functionFrozenDueToAgeNeedsFix

#43308 opened 2 years ago by griesemer

update docs for modulesDocumentationFrozenDueToAge

#43293 opened 2 years ago by zombiezen

TestCheck and TestStdlib fail when installed from binary distributionNeedsInvestigation

#43232 opened 2 years ago by dmitshur

clearly mark the package as not supporting modulesDocumentationNeedsDecision

#43170 opened 2 years ago by natefinch

missing error for invalid use of ... in conversionFrozenDueToAgeNeedsInvestigation

#43124 opened 2 years ago by findleyr

include import path in type error messages (2nd edition)FrozenDueToAgeNeedsInvestigation

#43119 opened 2 years ago by stapelberg

missing error for invalid (but empty) expression switchFrozenDueToAgeNeedsFix

#43110 opened 2 years ago by griesemer

errors for absolute import path don't match (old) compiler, and are inconsistent with the compilerNeedsFix

#43109 opened 2 years ago by griesemer

need equivalent support for compiler -lang flagFrozenDueToAgeNeedsFix

#43108 opened 2 years ago by griesemer

avoid infinite recursion in ComparableFrozenDueToAgeNeedsFixrelease-blocker

#43088 opened 2 years ago by findleyr

provide better error message for short variable declarationsFrozenDueToAgeNeedsFix

#43087 opened 2 years ago by griesemer

wrong line numbers in errors for constant overflows involving iotaFrozenDueToAgeNeedsInvestigationrelease-blocker

#42991 opened 2 years ago by griesemer

avoid "declared but not used" errors for variables in invalid declarationsNeedsInvestigation

#42937 opened 2 years ago by griesemer

better error message for invalid use of constraint interfaceNeedsInvestigation

#42881 opened 2 years ago by voldyman

bad constant integer->string conversion for out-of-bounds integersFrozenDueToAgeNeedsFix

#42790 opened 2 years ago by mdempsky

failure to report errors on test/fixedbugs/issue20232.goFrozenDueToAge

#42695 opened 2 years ago by mdempsky

improve the positioning of type checker errorsFrozenDueToAgeToolsgopls

#42290 opened 2 years ago by findleyr

type parameter order is significant when it should not beNeedsFixrelease-blocker

#40789 opened 2 years ago by rogpeppe

better error message for failing type inferenceNeedsInvestigation

#39742 opened 2 years ago by arl

cannot handle self-recursive constraints (known bug)NeedsFix

#39724 opened 2 years ago by griesemer

pointer method error less useful than the compiler'sFrozenDueToAge

#38658 opened 2 years ago by atombender

missing method errors for interfaces should have more detailFrozenDueToAge

#38475 opened 2 years ago by stamblerre

recorded type for make() call doesn't report correct len/cap argument typesFrozenDueToAgeNeedsFix

#37393 opened 2 years ago by griesemer

reported type of call to make() depends on whether argument is a const or varFrozenDueToAgeNeedsFix

#37349 opened 2 years ago by benjaminjkraft

what is the new method (*Checker).LookupFieldOrMethod?FrozenDueToAgeNeedsFixrelease-blocker

#36916 opened 2 years ago by ianlancetaylor

data race in go/types due to math/big.Rat accessors unsafe for concurrent use [1.13 backport]CherryPickApprovedFrozenDueToAge

#36689 opened 2 years ago by gopherbot

data race in representableConst in Go 1.13 and earlier [1.12 backport]FrozenDueToAge

#36688 opened 2 years ago by gopherbot

data race in representableConst in Go 1.13 and earlierFrozenDueToAgeNeedsFix

#36687 opened 2 years ago by matloob

improve error message quality for ptr receiver errors (go/types differs from go tool compile)FrozenDueToAge

#36336 opened 2 years ago by gertcuykens

include import path in type error messagesFrozenDueToAgeNeedsDecision

#35895 opened 2 years ago by stapelberg

comparison of Defined (Named) types failsFrozenDueToAgeNeedsInvestigation

#35265 opened 2 years ago by guzenok

some small problems in docsDocumentationExpertNeededFrozenDueToAgeNeedsFix

#35189 opened 2 years ago by yaxinlx

data race in validTypeFrozenDueToAgeNeedsFixSoonrelease-blocker

#35049 opened 2 years ago by bcmills

data race in Checker.underlyingFrozenDueToAge

#34921 opened 3 years ago by rsc

when reporting cycles, be more faithful to source code (UX improvement)FrozenDueToAge

#34771 opened 3 years ago by griesemer

add context to go/types.Config for cancelationFrozenDueToAgeNeedsInvestigation

#34683 opened 3 years ago by muirdm

missing cycle errorsFrozenDueToAgeNeedsFixSoonrelease-blocker

#34333 opened 3 years ago by griesemer

reports error for iota inside function in ConstSpecFrozenDueToAge

#34228 opened 3 years ago by cuonglm

interfaces must be marked complete before they can be comparedFrozenDueToAgeNeedsInvestigationSoonrelease-blocker

#34151 opened 3 years ago by neild

incorrect error message with mutually recursive interfacesFrozenDueToAgeNeedsFix

#33656 opened 3 years ago by griesemer

calls setScopePos on dot-imported objectsFrozenDueToAgeNeedsInvestigationrelease-blocker

#32154 opened 3 years ago by dominikh

provide configuration support for different language versionsFrozenDueToAgeNeedsFix

#31793 opened 3 years ago by griesemer

new embedded interface behavior (possible regression)FrozenDueToAgeNeedsInvestigationrelease-blocker

#29029 opened 3 years ago by ccbrown

problem with alias type [1.11 backport]CherryPickApprovedFrozenDueToAge

#28972 opened 3 years ago by gopherbot

"user-defined object without package" error while typechecking crypto/tlsFrozenDueToAgeNeedsInvestigationrelease-blocker

#28282 opened 4 years ago by ALTree

don't accept invalid signature func f(x, y, z ...int)FrozenDueToAgeNeedsFixrelease-blocker

#28281 opened 4 years ago by griesemer

missing Info.Types entry for variadic parameter *ast.EllipsisFrozenDueToAge

#28277 opened 4 years ago by alandonovan

export a function for representabilityFeatureRequestFrozenDueToAgeNeedsDecision

#28267 opened 4 years ago by jba

should accept method recv base type that is alias to a pointer typeFrozenDueToAgeNeedsFixrelease-blocker

#28251 opened 4 years ago by griesemer

embedded interface behavior now dependent on file name ordering [1.11 backport]CherryPickApprovedFrozenDueToAge

#28249 opened 4 years ago by gopherbot

AssignableTo and Implements disagree over untyped nilFrozenDueToAge

#28219 opened 4 years ago by alandonovan

failure to reject `interface{}(nil) == []int(nil)`FrozenDueToAgeNeedsFix

#28164 opened 4 years ago by mdempsky

embedded interface behavior now dependent on file name orderingFrozenDueToAgeNeedsInvestigationSoonrelease-blocker

#28005 opened 4 years ago by ccbrown

better error message for invalid method receiverFrozenDueToAgeNeedsFix

#27996 opened 4 years ago by griesemer

provide TypeAndValue constructorFeatureRequestFrozenDueToAgeNeedsDecision

#27787 opened 4 years ago by LMMilewski

cannot locate transient dependency saved via Go modulesFrozenDueToAge

#27556 opened 4 years ago by dradtke

some facts are missing after an error [1.11 backport]CherryPickCandidateFrozenDueToAge

#27497 opened 4 years ago by gopherbot

assertion failure setting up composite literal with incomplete element type [1.11 backport]CherryPickCandidateFrozenDueToAge

#27351 opened 4 years ago by gopherbot

assertion failure setting up composite literal with incomplete element typeFrozenDueToAgeNeedsFix

#27346 opened 4 years ago by griesemer

alias type cycle inside function not recognizedFrozenDueToAgeNeedsFixearly-in-cycle

#27106 opened 4 years ago by griesemer

remove temp. work-around for issue 26390FrozenDueToAgeearly-in-cycle

#26854 opened 4 years ago by griesemer

type aliases can lead to invalid typesFrozenDueToAgeNeedsFixrelease-blocker

#26390 opened 4 years ago by kjk

"duplicate case in expression switch" error could be formatted better (perhaps)FrozenDueToAgeNeedsDecision

#26357 opened 4 years ago by mvdan

not enough arguments error message should be easier to skimNeedsFix

#26249 opened 4 years ago by rsc

field lookup failure message too hard to readFrozenDueToAge

#26234 opened 4 years ago by rsc

go vet fails with illegal cycle for github.com/yuin/gopher-luaFrozenDueToAgeNeedsInvestigationrelease-blocker

#26124 opened 4 years ago by griesemer

better error message for "func f(f)" and similar declarationsFrozenDueToAgeNeedsFixearly-in-cycle

#25790 opened 4 years ago by griesemer

remove internal flag `useCycleMarking`, explicit path parameterFrozenDueToAgeNeedsFixearly-in-cycle

#25773 opened 4 years ago by griesemer

"incorrect" number of fields returned for struct that does not fully type-checkFrozenDueToAgeNeedsFix

#25627 opened 4 years ago by myitcv

gotype can easily run into panicsFrozenDueToAgeNeedsInvestigationrelease-blocker

#25438 opened 4 years ago by mvdan

TestStdlib fails due failed import in vendored pprofFrozenDueToAgeNeedsFixrelease-blocker

#25367 opened 4 years ago by ysmolsky

"invalid AST" error for syntactically correct (but otherwise invalid) programFrozenDueToAgeNeedsFix

#25301 opened 4 years ago by griesemer

erroneously accepts recursive type aliasesFrozenDueToAgeNeedsFix

#25141 opened 4 years ago by mdempsky

type-check embedded methods in wrong scopeFrozenDueToAgeNeedsFixrelease-blocker

#25008 opened 4 years ago by nabice

column reporting of "no field or method" seems wrongFrozenDueToAgeNeedsFix

#24645 opened 4 years ago by rasky

"variable of type *invalid type" spurious errorFrozenDueToAgeNeedsFix

#24182 opened 4 years ago by mvdan

identifier resolved incorrectlyFrozenDueToAgeNeedsFixrelease-blocker

#24026 opened 4 years ago by alandonovan

go vet reporting incorrect "imported but not used" errorFrozenDueToAgeNeedsFixearly-in-cyclerelease-blocker

#23914 opened 4 years ago by somersf

missing "declared but not used" errorFrozenDueToAgeNeedsFix

#23593 opened 4 years ago by griesemer

incorrect behavior for string conversions of byte slicesNeedsDecision

#23536 opened 4 years ago by dotaheor

inefficient handling of large string additionsFrozenDueToAgerelease-blocker

#23348 opened 4 years ago by rsc

missing "missing return" errorFrozenDueToAgeNeedsFixearly-in-cycle

#23218 opened 4 years ago by griesemer

validity of program depends on method declaration orderFrozenDueToAgeNeedsFix

#23203 opened 4 years ago by griesemer

accepts invalid `type T = interface{ f(T) }`FrozenDueToAgeNeedsFix

#23139 opened 4 years ago by griesemer

fix TODO in testdata/cycles2.src (reminder issue)FrozenDueToAgeNeedsFixearly-in-cycle

#23127 opened 4 years ago by griesemer

errors when declaring methods with type alias receiversFrozenDueToAgeearly-in-cycle

#23042 opened 4 years ago by mdempsky

incorrect recursive interface call accepted inside interface method declarationFrozenDueToAgeearly-in-cycle

#22992 opened 4 years ago by griesemer

Package.Scope.Lookup returns aliased type instead of declared alias typeFrozenDueToAge

#22975 opened 4 years ago by willfaught

constant LHS in non-constant shift used as index expression must fit into intFrozenDueToAgeNeedsFix

#22969 opened 4 years ago by griesemer

broke x/tools build for Go 1.8 and masterFrozenDueToAgeNeedsFixrelease-blocker

#22933 opened 4 years ago by bradfitz

NewParam/NewField doc missingDocumentationFrozenDueToAgeNeedsFix

#22747 opened 4 years ago by willfaught

fails to fully collect methods from embedded interfacesFrozenDueToAgeNeedsFix

#22701 opened 4 years ago by chewxy

types.aliases should be exportedDocumentationFrozenDueToAge

#22628 opened 4 years ago by willfaught

randomly ordered 'declared but not used' errorsFrozenDueToAge

#22525 opened 4 years ago by rsc

repeated 'declared but not used' errors in closuresFrozenDueToAge

#22524 opened 4 years ago by rsc

Unclear what typ param in NewTypeName isDocumentationFrozenDueToAge

#22516 opened 4 years ago by willfaught

WriteExpr doc is misleadingDocumentationFrozenDueToAge

#22377 opened 5 years ago by willfaught

iota inside function in a ConstSpec is not acceptedFrozenDueToAge

#22345 opened 5 years ago by griesemer

uses $GOROOT/pkg/$GOOS_$GOARCH/unsafe.a incorrectlyFrozenDueToAge

#22112 opened 5 years ago by rsc

"const _ string = 1" error message says integers can't be converted to stringsFrozenDueToAgeNeedsFix

#22070 opened 5 years ago by mdempsky

rejects valid program involving interfaces and cyclesFrozenDueToAgeNeedsFix

#21804 opened 5 years ago by dominikh

accepts make([]int, 1<<s + 1.1)FrozenDueToAgeNeedsFix

#21727 opened 5 years ago by griesemer

incorrect type in Info.Implicits mapFrozenDueToAgeearly-in-cycle

#21591 opened 5 years ago by lvelden

Identical ignores receiver of SignatureDocumentationFrozenDueToAge

#21367 opened 5 years ago by dominikh

unset GOPATH before running testsFrozenDueToAgeNeedsFixhelp wanted

#21013 opened 5 years ago by bradfitz

assertion failure in expr.go:978 (Checker.rawExpr)FrozenDueToAgeNeedsFix

#20837 opened 5 years ago by griesemer

invalid program type-checked w/o errorFrozenDueToAge

#20772 opened 5 years ago by griesemer

accepts weird invalid programFrozenDueToAgeNeedsDecisionearly-in-cycle

#20770 opened 5 years ago by josharian

don't panic when multiplying infinities with zeroFrozenDueToAgeNeedsFix

#20583 opened 5 years ago by ALTree

assertion failure: Sizeof Basic T is typedFrozenDueToAge

#20237 opened 5 years ago by josharian

panic: invalid package name "_"FrozenDueToAge

#20231 opened 5 years ago by josharian

missing err message in "could not import" errorFrozenDueToAge

#20230 opened 5 years ago by josharian

imported anonymous interface type handled incorrectlyFrozenDueToAgeNeedsInvestigation

#20046 opened 5 years ago by griesemer

parameterize SizesFor?FrozenDueToAge

#19351 opened 5 years ago by josharian

conf.check complains about a function is not declared in a packageFrozenDueToAge

#19334 opened 5 years ago by jzhu077

Named.Obj doc is wrongFrozenDueToAge

#19249 opened 5 years ago by willfaught

confusing Object method commentDocumentationFrozenDueToAgeNeedsFix

#18644 opened 5 years ago by josharian

assertion failed error on type declaration cycleFrozenDueToAge

#18643 opened 5 years ago by mdempsky

typo in docDocumentationFrozenDueToAgeNeedsFix

#18562 opened 5 years ago by gonutz

incorrect "no such field/method" error in cyclic interfaceFrozenDueToAgeNeedsFixearly-in-cyclerelease-blocker

#18395 opened 5 years ago by alandonovan

spurious "no such field/methodmissing FrozenDueToAge

#18394 opened 5 years ago by alandonovan

cannot assign "nil..." to ... parametersFrozenDueToAge

#18268 opened 5 years ago by stjj89

incorrect Info.Uses map entry for struct { a } where a is an aliasFrozenDueToAgeNeedsFix

#17778 opened 6 years ago by alandonovan

export `Original` function (or perhaps method)FrozenDueToAge

#17730 opened 6 years ago by griesemer

importing an alias and the original causes import errorFrozenDueToAge

#17726 opened 6 years ago by griesemer

panic: unreachableFrozenDueToAgeNeedsInvestigation

#17716 opened 6 years ago by kevinburke

Info needs a new map, AliasUses map[*types.Ident]*types.AliasFrozenDueToAge

#17706 opened 6 years ago by alandonovan

investigate representation of byte/rune as aliasesFrozenDueToAge

#17656 opened 6 years ago by griesemer

implement type-checking of alias declarationsFrozenDueToAge

#17592 opened 6 years ago by griesemer

StdSizes needs to know about new complex64 alignmentFrozenDueToAge

#17584 opened 6 years ago by mdempsky

crash in unsafe.OffsetofFrozenDueToAge

#16902 opened 6 years ago by BenLubar

disagreement on struct field offset on amd64p32FrozenDueToAge

#16464 opened 6 years ago by josharian

Info.Types does not map ast.IfStmt.CondFrozenDueToAge

#16422 opened 6 years ago by ghost

calling Sizeof(*Struct) twice with different sizes yields incorrect resultsFrozenDueToAge

#16316 opened 6 years ago by josharian

Importers should create missing PackagesFrozenDueToAgeNeedsFix

#16088 opened 6 years ago by adonovan

types.Named.SetUnderlying: underlying type must not be *NamedFrozenDueToAge

#15920 opened 6 years ago by mdempsky

"var x, y b = i.(b)" should declare 'y' with type 'b', not 'bool'FrozenDueToAge

#15755 opened 6 years ago by mdempsky

erroneously accepts method expressions with anonymous receiver typeFrozenDueToAge

#15721 opened 6 years ago by mdempsky

incorrect scope positioning for variables defined by RangeStmtFrozenDueToAge

#15686 opened 6 years ago by mdempsky

error reporting for misplaced fallthrough could be betterFrozenDueToAge

#15594 opened 6 years ago by ALTree

valid fallthrough position must accept trailing empty statementsFrozenDueToAge

#15376 opened 6 years ago by griesemer

function call has invalid type just because an argument is undefinedFrozenDueToAge

#15305 opened 6 years ago by alandonovan

ExampleMethodSet errors, but doesn't failDocumentationFrozenDueToAge

#15261 opened 6 years ago by jmank88

Identical panics with unreachable if first argument is nilFrozenDueToAge

#15173 opened 6 years ago by dominikh

gotype requires installed packagesFrozenDueToAgeVendoring

#14918 opened 6 years ago by the42

types.StdSizes and unsafe.Sizeof disagree about size of structFrozenDueToAge

#14909 opened 6 years ago by dominikh

specify Object.Parent more preciselyFrozenDueToAge

#14647 opened 6 years ago by alandonovan

terminating statement lists must accept trailing empty statementsFrozenDueToAge

#14537 opened 6 years ago by griesemer

config.Check complains "can't find import" for vendored packages if they haven't been installedFrozenDueToAge

#14496 opened 6 years ago by metakeule

crash on int64(-1<<63) % 1e6FrozenDueToAge

#14229 opened 6 years ago by alandonovan

cannot find type of [...]T type literalsFrozenDueToAge

#14092 opened 6 years ago by mdempsky

Config.Check says Object.Pkg is in the "go/importer" packageFrozenDueToAge

#13898 opened 6 years ago by zncoder

don't treat importing of "unsafe" different from other importsFrozenDueToAge

#13882 opened 6 years ago by griesemer

std lib tests fail w/o x/net/http2 installedFrozenDueToAge

#13688 opened 6 years ago by griesemer

accepts invalid non-if/block statements after "else"FrozenDueToAge

#13475 opened 6 years ago by mdempsky

fail to reject overflowing shiftFrozenDueToAge

#12945 opened 7 years ago by mdempsky

race-y initialization of Struct.offsetsFrozenDueToAge

#12887 opened 7 years ago by mdempsky

StdSizes does not account for padding for trailing zero size fieldsFrozenDueToAge

#12886 opened 7 years ago by mdempsky

could not import golang.org/x/arch/arm/armasmFrozenDueToAge

#12836 opened 7 years ago by ALTree

Document that the caller must populate desired fields of types.InfoFrozenDueToAge

#12787 opened 7 years ago by creachadair

handle "C" package differently from gcFrozenDueToAge

#12667 opened 7 years ago by dvyukov

cannot import package with source code but no installed archiveFrozenDueToAge

#12392 opened 7 years ago by kr

Checker error with custom importerFrozenDueToAge

#12130 opened 7 years ago by dooman87

refers to go/constant as exactFrozenDueToAge

#11949 opened 7 years ago by dvyukov

real and imag don't accept untyped non-complex constants as argumentsFrozenDueToAge

#11947 opened 7 years ago by griesemer

document when selectors have typesDocumentationFrozenDueToAgeNeedsFix

#11944 opened 7 years ago by dvyukov

better error message for binary ops on multi-valued operandsFrozenDueToAge

#11896 opened 7 years ago by griesemer

misleading error message in const expressionFrozenDueToAge

#11825 opened 7 years ago by griesemer

MethodSetCache is not in main repoFrozenDueToAge

#11800 opened 7 years ago by robpike

write go fix module for conversion from subrepo to go/typesFrozenDueToAge

#11718 opened 7 years ago by rsc

extend StdSizes to support amd64p32FrozenDueToAge

#11716 opened 7 years ago by dvyukov

incorrect error about missing returnFrozenDueToAge

#11698 opened 7 years ago by dvyukov

allows multiple-value in switch and caseFrozenDueToAge

#11687 opened 7 years ago by dvyukov

complex(0, 0i) should be permittedFrozenDueToAge

#11669 opened 7 years ago by dvyukov

int overflow in switch expressionFrozenDueToAge

#11667 opened 7 years ago by dvyukov

can shift complex numbersFrozenDueToAge

#11594 opened 7 years ago by dvyukov

allows duplicate switch casesFrozenDueToAge

#11578 opened 7 years ago by dvyukov

remove backwards-compatibility files (minor cleanup)FrozenDueToAge

#11538 opened 7 years ago by josharian

Scope.Pos/End are zero for file and package scopesFrozenDueToAge

#11464 opened 7 years ago by alandonovan

whence this constant value?FrozenDueToAge

#11455 opened 7 years ago by josharian

assertion failedFrozenDueToAge

#11347 opened 7 years ago by dvyukov

compiling hangsFrozenDueToAge

#11327 opened 7 years ago by dvyukov

misleading error message for invalid interface typeFrozenDueToAge

#10979 opened 7 years ago by griesemer

recursive functions cause broken InitOrderFrozenDueToAge

#10709 opened 7 years ago by nlacasse

std lib tests don't consider +build tagsFrozenDueToAge

#10370 opened 7 years ago by griesemer

interface implementation error should give a missing methodFrozenDueToAge

#10260 opened 7 years ago by slimsag

don't skip checking of RangeStmt.Body because of errors in loop varsFrozenDueToAge

#10148 opened 7 years ago by alandonovan

API: rename LookupFieldOrMethod to Select (or something select-y)FrozenDueToAge

#10091 opened 7 years ago by alandonovan

missing "unused var" error due to incorrect scope computationFrozenDueToAge

#9570 opened 7 years ago by alandonovan

can't type check gcc61264.goFrozenDueToAge

#9474 opened 7 years ago by bradfitz

fails to report type error for ill-formed call FrozenDueToAge

#9473 opened 7 years ago by alandonovan

parens are permitted around builtins, contra specDocumentationFrozenDueToAge

#9001 opened 8 years ago by adonovan

automatic deref ok for embedded fields in method lookupFrozenDueToAge

#8989 opened 8 years ago by griesemer

dot-imported packages are too aggressively marked as "used"FrozenDueToAge

#8969 opened 8 years ago by griesemer

error cascadeFrozenDueToAge

#8799 opened 8 years ago by adonovan

Need an easy way to get the file-level *types.Scope of an ast.ExprFrozenDueToAge

#8730 opened 8 years ago by dsymonds

cyclical type declaration accepted w/o errorFrozenDueToAgeNeedsFixearly-in-cycle

#8699 opened 8 years ago by griesemer

PkgName.Pkg() is inconsistent and lossyFrozenDueToAge

#8628 opened 8 years ago by adonovan

LookupFieldOrMethod(T, "f") may return (*T).fFrozenDueToAge

#8584 opened 8 years ago by adonovan

rejects type assertion incorrectlyFrozenDueToAge

#8561 opened 8 years ago by adonovan

package documentationFrozenDueToAge

#8195 opened 8 years ago by adonovan

type-checking running "forever" (consuming all memory)

#7756 opened 8 years ago by griesemer

make AssignableTo work for tuplesFrozenDueToAgeNeedsDecision

#7692 opened 8 years ago by griesemer

Predicates exportFrozenDueToAge

#7295 opened 8 years ago by gopherbot

rejects valid programFrozenDueToAge

#7158 opened 8 years ago by dominikh

negative float constants close to 0 should become -0 floats when converting to IEEE and underflow occursFrozenDueToAge

#6898 opened 8 years ago by griesemer

incorrect type recorded for comma-ok expressionFrozenDueToAge

#6796 opened 9 years ago by griesemer

missing error messages for some short variable declarationsFrozenDueToAge

#6766 opened 9 years ago by griesemer

optimize use of method setsFrozenDueToAge

#6669 opened 9 years ago by griesemer

does not build with Go 1.1FrozenDueToAge

#6485 opened 9 years ago by dlintw

types are not collected for go or defer statement call expressions.FrozenDueToAge

#6413 opened 9 years ago by kisielk

Errorneous "redeclared in this block" error for type switch with SimpleStmtFrozenDueToAge

#5917 opened 9 years ago by dominikh

incorrect type reported for untyped constant in conversionFrozenDueToAge

#5849 opened 9 years ago by gopherbot

(*Func).Pkg() returns nil for methods from GcImport'ed packagesFrozenDueToAge

#5815 opened 9 years ago by dominikh

Assigning nil to variable of struct type results in INTERNAL PANIC: unreachableFrozenDueToAge

#5800 opened 9 years ago by dominikh

Context.Ident not called for method selectorsFrozenDueToAge

#5669 opened 9 years ago by isbadawi

go vet INTERNAL PANICFrozenDueToAge

#5568 opened 9 years ago by alberts

no NewConst funcFrozenDueToAge

#5563 opened 9 years ago by gopherbot

crash in assignment between "unexported" named interface types FrozenDueToAge

#5512 opened 9 years ago by remyoudompheng

no error reported for duplicate names in same package, if in separate files FrozenDueToAge

#5506 opened 9 years ago by adonovan

reference to type-switch variable from within function literal sees wrong type.FrozenDueToAge

#5504 opened 9 years ago by adonovan

returning value,ok-mode expression in a function with MRVs is not an errorFrozenDueToAge

#5500 opened 9 years ago by adonovan

T.f where f is a method on *T, doesn't give a type errorFrozenDueToAge

#5499 opened 9 years ago by adonovan

add IsAssignableTo predicateFrozenDueToAge

#5498 opened 9 years ago by adonovan

Const objects from other packages have nil spec (and panic on .GetPos())FrozenDueToAge

#5143 opened 9 years ago by gopherbot

no error on "x int = complex(1<<s, 2)"FrozenDueToAge

#5029 opened 9 years ago by remyoudompheng

panics when encountering (string constant) + string(rune constant)FrozenDueToAge

#4982 opened 9 years ago by alberts

unhelpful error in type assertion with typoFrozenDueToAge

#4967 opened 9 years ago by remyoudompheng

incorrect type after failing import.FrozenDueToAge

#4962 opened 9 years ago by robpike

type errors for untyped constants in shift operationsFrozenDueToAge

#4901 opened 9 years ago by kisielk

move to go.exp subrepoFrozenDueToAge

#4870 opened 9 years ago by rsc

rejects valid constantFrozenDueToAge

#4744 opened 9 years ago by rsc