go/types

NewSignatureType mutates its TypeParams, and panics unless they are newNeedsInvestigation

#67293 opened 1 week ago by adonovan

help tool authors support the new go/types.Alias nodeNeedsFixearly-in-cycle

#67263 opened 1 week ago by findleyr

#66890 opened 4 weeks ago by adonovan

type parameter inference fails for constraints that succeed individuallyNeedsInvestigationTypeInferencecompiler/runtime

#66751 opened 1 month ago by firelizzard18

slow type checking with thousands of methods on a typeNeedsInvestigationPerformance

#66699 opened 1 month ago by findleyr

add iterator methodsProposalProposal-Accepted

#66626 opened 1 month ago by adonovan

should the 'newer Go version' error be reported to Config.Error?Tools

#66525 opened 1 month ago by timothy-king

adopt "defined type" terminology consistentlyProposal

#65855 opened 2 months ago by adonovan

don't panic when calling under/underlyingNeedsInvestigationcompiler/runtime

#65344 opened 3 months ago by paulsonkoly

type inference limitation leads to incorrect result for directed channel type constraintNeedsInvestigationTypeInferencegenerics

#65202 opened 3 months ago by leaxoy

export API for unificationProposal

#63982 opened 6 months ago by dominikh

TestStdTest failuresNeedsInvestigation

#63048 opened 8 months ago by gopherbot

TestStdFixed failuresNeedsInvestigation

#62889 opened 8 months ago by gopherbot

TestSelf failuresNeedsInvestigation

#62861 opened 8 months ago by gopherbot

assign non-untyped types for all runtime expressionsProposal

#62466 opened 8 months ago by mdempsky

Implements is an allocation hotspotNeedsFixPerformance

#61162 opened 10 months ago by adonovan

expose an API for normalized interface terms

#61013 opened 10 months ago by findleyr

Create a public CoreType() functionProposal

#60994 opened 10 months ago by nevkontakte

inconsistent behavior with recursive generic types that produces deadlock, invalid recursive, unknown field errorNeedsFixearly-in-cycle

#60817 opened 11 months ago by nekomeowww

specious "invalid recursive type" error?NeedsInvestigation

#60130 opened 1 year ago by mdempsky

TestImplicitsInfo failuresNeedsInvestigation

#59986 opened 1 year ago by gopherbot

define identity of package-level Named types in terms of Package.Path equalityProposal

#57497 opened 1 year ago by adonovan

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

#54096 opened 2 years ago by mdempsky

improve documentation on `*types.Named` identityDocumentationNeedsFixhelp wanted

#53914 opened 2 years ago by aykevl

inconsistent AssignableTo, ConvertibleTo behavior w/ invalid typeNeedsFix

#53595 opened 2 years ago by muirdm

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

#52880 opened 2 years ago by iaburton

record instantiated type when fully instantiated function call is missing argumentsNeedsInvestigation

#52503 opened 2 years ago by findleyr

improve API for setting type parameter constraints in importersNeedsInvestigationearly-in-cycle

#52104 opened 2 years ago by findleyr

error reported for valid shiftsNeedsInvestigation

#52080 opened 2 years ago by griesemer

considers non-identical constraint interfaces to be identicalNeedsFix

#51917 opened 2 years ago by Merovius

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

#51603 opened 2 years ago by griesemer

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

#51592 opened 2 years ago by findleyr

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

#51503 opened 2 years ago by go101

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

#51343 opened 2 years ago by griesemer

improve error messages when go version is too low NeedsInvestigationcompiler/runtime

#51270 opened 2 years ago by feliixx

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

#51244 opened 2 years ago by mdempsky

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

#50937 opened 2 years ago by griesemer

documentation needs to be updatedDocumentationgenerics

#50676 opened 2 years ago by griesemer

consolidate error message formatsNeedsDecision

#49123 opened 2 years ago by griesemer

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

#48295 opened 2 years ago by griesemer

extend types.Info with implicit conversions from assignabilityNeedsInvestigationcompiler/runtime

#47151 opened 2 years ago by mdempsky

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

#47089 opened 2 years ago by gazerro

unclear error message on initialization loop and invalid parameter typeNeedsFix

#47059 opened 2 years ago by gazerro

lazy resolution of imported objectsProposal

#46449 opened 3 years ago by mdempsky

shared type expressions are evaluated once per variableFeatureRequestNeedsDecisioncompiler/runtime

#46208 opened 3 years ago by mdempsky

improve documentation on constant.Kind and relationship to concrete typesDocumentationNeedsInvestigation

#45906 opened 3 years ago by dominikh

missing error for invalid cycle in function declarationNeedsInvestigation

#43215 opened 3 years ago by findleyr

missing type information in cycle detectionNeedsInvestigation

#41669 opened 3 years ago by cuonglm

improve error messages by using compact package namesNeedsInvestigationTools

#41044 opened 3 years ago by emil14

UsesCgo exposes mangled namesNeedsFix

#39072 opened 4 years ago by heschi

SIGSEGV in (*Checker).exprInternalNeedsInvestigationcompiler/runtime

#37602 opened 4 years ago by bcmills

investigate commit bdd0ff08 effect on type-checking outcomeNeedsInvestigation

#35374 opened 4 years ago by griesemer

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

#34421 opened 4 years ago by griesemer

CheckExpr doesn't return partial resultsNeedsInvestigation

#34248 opened 4 years ago by muirdm

Config.Check tries to create go.sumNeedsInvestigationToolsmodules

#33541 opened 4 years ago by vaind

review/document AssignableTo code path for untyped value typesDocumentationNeedsFix

#32146 opened 5 years ago by muirdm

problem with alias typeNeedsInvestigationearly-in-cycle

#28576 opened 5 years ago by griesemer

25% of time used in map insertionsPerformance

#26877 opened 5 years ago by griesemer

string(1 << s) should be an errorNeedsFix

#26096 opened 5 years ago by griesemer

support cgo semanticsFeatureRequestNeedsInvestigation

#23090 opened 6 years ago by hirochachacha

TestStdFixed test results are cached across $GOROOT/test changesNeedsInvestigation

#22929 opened 6 years ago by mdempsky

some facts are missing after an errorNeedsInvestigation

#22467 opened 6 years ago by alandonovan

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

#21982 opened 6 years ago by griesemer

doesn't understands constants defined in cgo codeNeedsInvestigation

#21712 opened 6 years ago by purpleidea

vague docs about "incrementally" type checking filesDocumentation

#20124 opened 7 years ago by mdempsky

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

#15783 opened 8 years ago by griesemer

inconsistent handling of untyped expressionsNeedsFix

#13061 opened 8 years ago by mdempsky

request for NewSelection constructor

#12881 opened 8 years ago by griesemer

make it easier to handle architecture-dependent constant values correctlyAnalysis

#11333 opened 9 years ago by josharian

expose interface satisfaction constraintsRefactoring

#8970 opened 9 years ago by adonovan

need way to get from function type to function declThinking

#8763 opened 9 years ago by griesemer

constant values should reported as machine values for concrete types

#8718 opened 9 years ago by griesemer

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

#8353 opened 10 years ago by adonovan

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

#6774 opened 10 years ago by griesemer

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

#5501 opened 11 years ago by adonovan