go/types

New Issue

stack overflow in hasVarSize for invalid generic typeNeedsInvestigation

#52915 opened 2 days ago by findleyr

error "type instantiation requires go1.18 or later" is unclear when go version comes from go.modNeedsInvestigation

#52880 opened 4 days ago by iaburton

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

#52728 opened 1 week ago by findleyr

record instantiated type when fully instantiated function call is missing argumentsNeedsInvestigation

#52503 opened 3 weeks ago by findleyr

internal error when function as generic argumentNeedsInvestigation

#52378 opened 1 month ago by peterq

improve API for setting type parameter constraints in importersNeedsInvestigation

#52104 opened 1 month ago by findleyr

error reported for valid shiftsNeedsInvestigation

#52080 opened 1 month ago by griesemer

considers non-identical constraint interfaces to be identicalNeedsFix

#51917 opened 1 month ago by Merovius

consolidate error messages for composite literalsNeedsFix

#51879 opened 1 month ago by griesemer

need best effort generic func instantiationNeedsInvestigation

#51803 opened 1 month ago by muirdm

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

#51682 opened 2 months ago by findleyr

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

#51610 opened 2 months ago by griesemer

add mechanism to report "last good" source file position in case of a panicNeedsFix

#51603 opened 2 months ago by griesemer

type inference should unify interface typesNeedsFix

#51593 opened 2 months ago by cr7pt0gr4ph7

mismatching 'indirect' results from NewMethodSet and LookupFieldOrMethod for interface methodsNeedsInvestigation

#51592 opened 2 months ago by findleyr

report better errors when type sets are emptyNeedsFix

#51525 opened 2 months ago by griesemer

the scope of a type parameter identifier in a method of a generic type is too largeNeedsFix

#51503 opened 2 months ago by go101

missing type due to delayed type-type inferenceNeedsFix

#51489 opened 2 months ago by findleyr

simplify type-checking of method receivers with type parametersNeedsFixearly-in-cycle

#51343 opened 2 months ago by griesemer

"invalid type loop" depending on declaration orderNeedsFix

#51244 opened 2 months ago by mdempsky

Method sets section doesn't seem quite right for interfaces with type listsNeedsFixearly-in-cycle

#51183 opened 3 months ago by dominikh

explore "interleaved" type inference by combining function argument type inference with constraint type inferenceNeedsInvestigationTypeInferenceearly-in-cyclegenerics

#51139 opened 3 months ago by griesemer

verify/correct actual types recorded for type parameter "constant" valuesNeedsInvestigation

#51093 opened 3 months ago by griesemer

frequent use of scope.Names burns significant cyclesNeedsInvestigationPerformance

#51017 opened 3 months ago by amscanne

allow choice between reg. expression or not in ERROR test commentsNeedsFix

#51006 opened 3 months ago by griesemer

review error messagesNeedsFix

#50954 opened 3 months ago by griesemer

enable `real`, `imag` and `complex` with type parameter argumentsNeedsInvestigation

#50937 opened 3 months ago by griesemer

superfluous extra error message when type inference failsNeedsFix

#50932 opened 3 months ago by griesemer

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

#50788 opened 3 months ago by griesemer

documentation needs to be updatedDocumentationgenerics

#50676 opened 3 months ago by griesemer

always set the receiver type of interface methods to the defining interface typeNeedsInvestigation

#49906 opened 5 months ago by griesemer

better error messages for copy, othersNeedsFix

#49735 opened 5 months ago by griesemer

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

#49593 opened 6 months ago by findleyr

consolidate error message formatsNeedsDecision

#49123 opened 6 months ago by griesemer

memory usage doubled in 1.17NeedsInvestigation

#49035 opened 7 months ago by danmillwood

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

#48295 opened 8 months ago by griesemer

add tests that exercise concurrent useNeedsFix

#47729 opened 9 months ago by findleyr

extend types.Info with implicit conversions from assignabilityNeedsInvestigation

#47151 opened 10 months ago by mdempsky

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

#47089 opened 10 months ago by gazerro

unclear error message on initialization loop and invalid parameter typeNeedsFix

#47059 opened 10 months ago by gazerro

ensure that Named.Orig is indempotentNeedsInvestigationearly-in-cycle

#46794 opened 11 months ago by mdempsky

lazy resolution of imported objectsProposal

#46449 opened 11 months ago by mdempsky

shared type expressions are evaluated once per variableFeatureRequestNeedsDecision

#46208 opened 1 year ago by mdempsky

improve documentation on constant.Kind and relationship to concrete typesDocumentationNeedsInvestigation

#45906 opened 1 year ago by dominikh

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

#44410 opened 1 year 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

better error message for invalid use of constraint interfaceNeedsInvestigation

#42881 opened 1 year ago by voldyman

missing type information in cycle detectionNeedsInvestigation

#41669 opened 2 years ago by cuonglm

improve error messages by using compact package namesNeedsInvestigationTools

#41044 opened 2 years ago by emil14

recursive type constraint fails with confusing errorNeedsInvestigation

#40882 opened 2 years ago by benjaminjkraft

better error message for failing type inferenceNeedsInvestigation

#39742 opened 2 years ago by arl

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 3 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

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 5 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 6 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 7 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 8 years ago by adonovan

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 9 years ago by adonovan