go/types

New Issue

type-checking expands type foreverNeedsInvestigationrelease-blocker

#48974 opened 2 days ago by griesemer

missing errors for invalid parameterized type declarationsNeedsFix

#48962 opened 2 days ago by griesemer

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

#48852 opened 1 week ago by griesemer

confusing error message for invalid instantiation of non-generic typeNeedsFixrelease-blocker

#48827 opened 1 week ago by findleyr

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

#48825 opened 1 week ago by gopherbot

misleading error message when type param is not comparableNeedsInvestigation

#48712 opened 2 weeks ago by findleyr

avoid infinitely recursive instantiation through method signaturesNeedsFixrelease-blocker

#48703 opened 2 weeks ago by findleyr

handle recursive constraint type inferenceNeedsInvestigationrelease-blocker

#48656 opened 2 weeks ago by findleyr

stack overflow while type-checking generic codeNeedsFixrelease-blocker

#48619 opened 3 weeks ago by eliben

better error message when using *interface instead of interfaceNeedsFix

#48312 opened 1 month ago by zllangct

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

#48295 opened 1 month ago by griesemer

remove support for type list syntax (cleanup)NeedsFix

#48261 opened 1 month ago by findleyr

need to detect invalid recursive type instantiationNeedsFixrelease-blocker

#48098 opened 1 month ago by griesemer

inconsistent handling of `len` on pointer-to-array type parametersNeedsDecision

#47991 opened 1 month ago by mdempsky

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

#47990 opened 1 month ago by griesemer

panic "assertion failed" when autocompleting generic test codeNeedsInvestigation

#47923 opened 1 month ago by jayconrod

additions to support type parametersProposalProposal-AcceptedProposal-FinalCommentPeriod

#47916 opened 1 month ago by findleyr

add tests that exercise concurrent useNeedsFix

#47729 opened 2 months ago by findleyr

inconsistent types reported for shift expressions with constant RHSNeedsFix

#47410 opened 2 months ago by findleyr

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

#47205 opened 3 months ago by griesemer

extend types.Info with implicit conversions from assignabilityNeedsInvestigation

#47151 opened 3 months ago by mdempsky

conversions involving type parameters don't workNeedsFixrelease-blocker

#47150 opened 3 months ago by griesemer

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

#47103 opened 3 months ago by griesemer

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

#47089 opened 3 months ago by gazerro

unclear error message on initialization loop and invalid parameter typeNeedsFix

#47059 opened 3 months ago by gazerro

provide unique ID to identify instantiations of the same original typeNeedsInvestigationrelease-blocker

#46794 opened 4 months ago by mdempsky

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

#46594 opened 4 months ago by mdempsky

lazy resolution of imported objectsProposal

#46449 opened 4 months ago by mdempsky

shared type expressions are evaluated once per variableFeatureRequestNeedsDecision

#46208 opened 5 months ago by mdempsky

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

#45985 opened 5 months ago by findleyr

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

#45920 opened 5 months ago by griesemer

improve documentation on constant.Kind and relationship to concrete typesDocumentationNeedsInvestigation

#45906 opened 5 months ago by dominikh

better error message for incompatible types due to method signature mismatchNeedsFix

#45813 opened 5 months ago by griesemer

disallow type parameters as RHS of type declarationsNeedsDecisiongenericsrelease-blocker

#45639 opened 5 months ago by findleyr

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

#45117 opened 7 months ago by griesemer

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

#44410 opened 7 months ago by griesemer

missing error for invalid cycle in function declarationNeedsInvestigation

#43215 opened 10 months ago by findleyr

clearly mark the package as not supporting modulesWaitingForInfo

#43170 opened 10 months ago by natefinch

"import path cannot be absolute path" error not reportedNeedsFix

#43109 opened 10 months 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 1 year 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 2 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 3 years ago by dotaheor

support cgo semanticsFeatureRequestNeedsInvestigation

#23090 opened 3 years ago by hirochachacha

TestStdFixed test results are cached across $GOROOT/test changesNeedsInvestigation

#22929 opened 3 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