go/types

New Issue

documentation needs to be updatedDocumentationgenerics

#50676 opened 2 days ago by griesemer

AssignableTo does not distinguish between any and comparableNeedsFix

#50646 opened 4 days ago by bobg

broken invariants with respect to generic receiver typesNeedsDecisionrelease-blocker

#50619 opened 6 days ago by findleyr

gopls crash on method with type parametersNeedsInvestigationToolsrelease-blocker

#50427 opened 2 weeks ago by KarlShing

method signatures not identical modulo receiver type parameter namesNeedsFixrelease-blocker

#49912 opened 1 month ago by findleyr

consider not setting the receiver type of interface methodsNeedsInvestigation

#49906 opened 1 month ago by griesemer

better error messages for append, copy, etc.NeedsFix

#49735 opened 1 month ago by griesemer

be consistent about the words 'parameterized' vs 'generic' in error messages and documentationDocumentationNeedsDecision

#49593 opened 2 months ago by findleyr

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

#49193 opened 2 months ago by griesemer

consolidate error message formatsNeedsDecision

#49123 opened 3 months ago by griesemer

need better mechanism to control lang version for testsNeedsInvestigation

#49074 opened 3 months ago by griesemer

memory usage doubled in 1.17NeedsInvestigation

#49035 opened 3 months ago by danmillwood

missing errors for invalid parameterized type declarationsNeedsFix

#48962 opened 3 months ago by griesemer

handle recursive constraint type inferenceNeedsInvestigation

#48656 opened 3 months ago by findleyr

type inference should report a better error messageNeedsFix

#48619 opened 3 months ago by eliben

error messages don't distinguish between different types with the same namesNeedsInvestigation

#48295 opened 4 months ago by griesemer

remove support for type list syntax (cleanup)NeedsFix

#48261 opened 4 months ago by findleyr

panic "assertion failed" when autocompleting generic test codeNeedsInvestigationWaitingForInfo

#47923 opened 5 months ago by jayconrod

add tests that exercise concurrent useNeedsFix

#47729 opened 5 months ago by findleyr

inconsistent types reported for shift expressions with constant RHSNeedsFix

#47410 opened 5 months ago by findleyr

extend types.Info with implicit conversions from assignabilityNeedsInvestigation

#47151 opened 6 months ago by mdempsky

rename 'imported and not used' error to 'imported but not used'NeedsFixhelp wanted

#47089 opened 6 months ago by gazerro

unclear error message on initialization loop and invalid parameter typeNeedsFix

#47059 opened 6 months ago by gazerro

ensure that Named.Orig is indempotentNeedsInvestigation

#46794 opened 7 months ago by mdempsky

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

#46594 opened 7 months ago by mdempsky

lazy resolution of imported objectsProposal

#46449 opened 7 months ago by mdempsky

shared type expressions are evaluated once per variableFeatureRequestNeedsDecision

#46208 opened 8 months ago by mdempsky

improve documentation on constant.Kind and relationship to concrete typesDocumentationNeedsInvestigation

#45906 opened 8 months ago by dominikh

disallow type parameters as RHS of type declarationsNeedsInvestigationgenerics

#45639 opened 9 months ago by findleyr

type-checker internal type printing doesn't print embedded fields that are alias types correctlyNeedsFix

#44410 opened 11 months ago by griesemer

missing error for invalid cycle in function declarationNeedsInvestigation

#43215 opened 1 year ago by findleyr

clearly mark the package as not supporting modulesWaitingForInfo

#43170 opened 1 year ago by natefinch

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

#43109 opened 1 year ago by griesemer

missing type information in cycle detectionNeedsInvestigation

#41669 opened 1 year ago by cuonglm

improve error messages by using compact package namesNeedsInvestigationTools

#41044 opened 1 year ago by emil14

UsesCgo exposes mangled namesNeedsFix

#39072 opened 2 years ago by heschi

SIGSEGV in (*Checker).exprInternalNeedsInvestigation

#37602 opened 2 years ago by bcmills

investigate commit bdd0ff08 effect on type-checking outcomeNeedsInvestigation

#35374 opened 2 years ago by griesemer

what is the (types.Object) identity of embedded methods?NeedsDecision

#34421 opened 2 years ago by griesemer

CheckExpr doesn't return partial resultsNeedsInvestigation

#34248 opened 2 years ago by muirdm

Config.Check tries to create go.sumNeedsInvestigationToolsmodules

#33541 opened 2 years ago by vaind

add a race testNeedsInvestigationTestinghelp wanted

#32783 opened 2 years ago by griesemer

review/document AssignableTo code path for untyped value typesDocumentationNeedsFix

#32146 opened 2 years ago by muirdm

problem with alias typeNeedsInvestigationearly-in-cycle

#28576 opened 3 years ago by griesemer

25% of time used in map insertionsPerformance

#26877 opened 3 years ago by griesemer

not enough arguments error message should be easier to skimNeedsFix

#26249 opened 3 years ago by rsc

string(1 << s) should be an errorNeedsFix

#26096 opened 3 years ago by griesemer

incorrect behavior for string conversions of byte slicesNeedsDecision

#23536 opened 4 years ago by dotaheor

support cgo semanticsFeatureRequestNeedsInvestigation

#23090 opened 4 years ago by hirochachacha

TestStdFixed test results are cached across $GOROOT/test changesNeedsInvestigation

#22929 opened 4 years ago by mdempsky

some facts are missing after an errorNeedsInvestigation

#22467 opened 4 years ago by alandonovan

incorrect error message for string(1<<s + 1.1)NeedsFix

#21982 opened 4 years ago by griesemer

doesn't understands constants defined in cgo codeNeedsInvestigation

#21712 opened 4 years ago by purpleidea

vague docs about "incrementally" type checking filesDocumentation

#20124 opened 4 years ago by mdempsky

add GCSizes

#17586 opened 5 years ago by josharian

provide better error message for errors in n:1 init assignmentNeedsFix

#15783 opened 5 years ago by griesemer

inconsistent handling of untyped expressionsNeedsFix

#13061 opened 6 years ago by mdempsky

request for NewSelection constructor

#12881 opened 6 years ago by griesemer

make it easier to handle architecture-dependent constant values correctly

#11333 opened 6 years ago by josharian

expose interface satisfaction constraints

#8970 opened 7 years ago by adonovan

need way to get from function type to function declThinking

#8763 opened 7 years ago by griesemer

constant values should reported as machine values for concrete types

#8718 opened 7 years ago by griesemer

confusing behaviour of Selection.Indirect() for Kind()==MethodVal

#8353 opened 7 years ago by adonovan

maintain "owner" information for interface methods and struct fieldsNeedsDecision

#8178 opened 7 years ago by adonovan

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

#7756 opened 7 years ago by griesemer

make go/types more tolerant in case of 'import "C"'

#6774 opened 8 years ago by griesemer

named types defined within a function print as if defined at package scope

#5501 opened 8 years ago by adonovan