go/types

self-contradictory error message when separating the definition and implementation of an interface with anonymous structs in a method signatureNeedsInvestigationcompiler/runtime

#54258 opened 1 week ago by guamoko995

don't build errors in AssignableTo, ConvertibleToNeedsFixPerformance

#54172 opened 1 week ago by findleyr

allow (*Package).Imports to be precise for imported packagesProposal

#54096 opened 2 weeks ago by mdempsky

improve documentation on `*types.Named` identityDocumentationNeedsFixhelp wanted

#53914 opened 3 weeks ago by aykevl

gopls crash due to monoGraph assertion failure (generics)Toolsgopls

#53794 opened 1 month ago by 474420502

inconsistent AssignableTo, ConvertibleTo behavior w/ invalid typeNeedsFix

#53595 opened 1 month ago by muirdm

error message of 1.18 is less helpful with T.m instead of (*T).mNeedsInvestigationcompiler/runtime

#53358 opened 1 month ago by nojus297

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

#53279 opened 2 months ago by griesemer

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

#52880 opened 3 months ago by iaburton

record instantiated type when fully instantiated function call is missing argumentsNeedsInvestigation

#52503 opened 3 months ago by findleyr

improve API for setting type parameter constraints in importersNeedsInvestigation

#52104 opened 4 months ago by findleyr

error reported for valid shiftsNeedsInvestigationearly-in-cycle

#52080 opened 4 months ago by griesemer

considers non-identical constraint interfaces to be identicalNeedsFix

#51917 opened 4 months ago by Merovius

consolidate error messages for composite literalsNeedsFix

#51879 opened 4 months ago by griesemer

need best effort generic func instantiationNeedsInvestigation

#51803 opened 4 months ago by muirdm

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

#51603 opened 5 months ago by griesemer

type inference should unify interface typesNeedsFix

#51593 opened 5 months ago by cr7pt0gr4ph7

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

#51592 opened 5 months ago by findleyr

report better errors when type sets are emptyNeedsFix

#51525 opened 5 months ago by griesemer

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

#51503 opened 5 months ago by go101

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

#51343 opened 5 months ago by griesemer

"invalid type loop" depending on declaration orderNeedsFixearly-in-cycle

#51244 opened 5 months ago by mdempsky

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

#51183 opened 5 months ago by dominikh

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

#51139 opened 6 months ago by griesemer

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

#51093 opened 6 months ago by griesemer

frequent use of scope.Names burns significant cyclesNeedsInvestigationPerformance

#51017 opened 6 months ago by amscanne

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

#51006 opened 6 months ago by griesemer

review error messagesNeedsFix

#50954 opened 6 months ago by griesemer

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

#50937 opened 6 months ago by griesemer

documentation needs to be updatedDocumentationgenerics

#50676 opened 6 months ago by griesemer

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

#49906 opened 8 months ago by griesemer

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

#49593 opened 8 months ago by findleyr

consolidate error message formatsNeedsDecision

#49123 opened 9 months ago by griesemer

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

#48295 opened 11 months ago by griesemer

add tests that exercise concurrent useNeedsFix

#47729 opened 11 months ago by findleyr

extend types.Info with implicit conversions from assignabilityNeedsInvestigationcompiler/runtime

#47151 opened 1 year ago by mdempsky

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

#47089 opened 1 year ago by gazerro

unclear error message on initialization loop and invalid parameter typeNeedsFix

#47059 opened 1 year ago by gazerro

ensure that Named.Orig is indempotentNeedsInvestigationearly-in-cycle

#46794 opened 1 year ago by mdempsky

lazy resolution of imported objectsProposal

#46449 opened 1 year ago by mdempsky

shared type expressions are evaluated once per variableFeatureRequestNeedsDecisioncompiler/runtime

#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 2 years ago by findleyr

clearly mark the package as not supporting modulesWaitingForInfo

#43170 opened 2 years ago by natefinch

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

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 3 years ago by vaind

add a race testNeedsInvestigationTestinghelp wanted

#32783 opened 3 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 4 years ago by griesemer

string(1 << s) should be an errorNeedsFix

#26096 opened 4 years ago by griesemer

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

constant values should reported as machine values for concrete types

#8718 opened 8 years ago by griesemer

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

#8353 opened 8 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