go/types

New Issue

add Var.Kind method and enumProposal

#70250 opened 1 week ago by adonovan

inconsistent type checking results with recursive aliases on 1.22 and 1.23NeedsInvestigation

#70230 opened 2 weeks ago by timothy-king

position-independent type checkingNeedsInvestigation

#69673 opened 1 month ago by adonovan

add Import, Export functionsProposal

#69491 opened 2 months ago by adonovan

add Hash functionProposalProposal-Hold

#69420 opened 2 months ago by adonovan

NewSignatureType mutates its TypeParams, and panics unless they are newNeedsInvestigation

#67293 opened 6 months ago by adonovan

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

#67263 opened 6 months ago by findleyr

add HasTypeName interfaceProposal

#66890 opened 7 months ago by adonovan

slow type checking with thousands of methods on a typeNeedsInvestigationPerformance

#66699 opened 7 months ago by findleyr

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

#66525 opened 8 months ago by timothy-king

adopt "defined type" terminology consistentlyProposal

#65855 opened 9 months ago by adonovan

don't panic when calling under/underlyingNeedsInvestigationcompiler/runtime

#65344 opened 9 months ago by paulsonkoly

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

#65202 opened 10 months ago by leaxoy

export API for unificationProposal

#63982 opened 1 year ago by dominikh

TestStdTest failuresNeedsInvestigation

#63048 opened 1 year ago by gopherbot

TestStdFixed failuresNeedsInvestigation

#62889 opened 1 year ago by gopherbot

TestSelf failuresNeedsInvestigation

#62861 opened 1 year ago by gopherbot

assign non-untyped types for all runtime expressionsProposal

#62466 opened 1 year ago by mdempsky

Implements is an allocation hotspotNeedsFixPerformance

#61162 opened 1 year ago by adonovan

expose an API for normalized interface termsNeedsInvestigation

#61013 opened 1 year ago by findleyr

Create a public CoreType() functionProposal

#60994 opened 1 year ago by nevkontakte

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

#60817 opened 1 year ago by nekomeowww

specious "invalid recursive type" error?NeedsInvestigationearly-in-cycle

#60130 opened 2 years ago by mdempsky

TestImplicitsInfo failuresNeedsInvestigation

#59986 opened 2 years ago by gopherbot

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

#57497 opened 2 years 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

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 importersNeedsInvestigation

#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

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 updatedDocumentationNeedsInvestigationgenerics

#50676 opened 2 years ago by griesemer

consolidate error message formatsNeedsDecision

#49123 opened 3 years ago by griesemer

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

#48295 opened 3 years ago by griesemer

extend types.Info with implicit conversions from assignabilityNeedsInvestigationcompiler/runtime

#47151 opened 3 years ago by mdempsky

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

#47089 opened 3 years ago by gazerro

unclear error message on initialization loop and invalid parameter typeNeedsFix

#47059 opened 3 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 4 years ago by cuonglm

improve error messages by using compact package namesNeedsInvestigationTools

#41044 opened 4 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 5 years ago by griesemer

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

#34421 opened 5 years ago by griesemer

CheckExpr doesn't return partial resultsNeedsInvestigation

#34248 opened 5 years ago by muirdm

Config.Check tries to create go.sumNeedsInvestigationToolsmodules

#33541 opened 5 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 6 years ago by griesemer

25% of time used in map insertionsPerformance

#26877 opened 6 years ago by griesemer

string(1 << s) should be an errorNeedsFix

#26096 opened 6 years ago by griesemer

support cgo semanticsFeatureRequestNeedsInvestigation

#23090 opened 7 years ago by hirochachacha

TestStdFixed test results are cached across $GOROOT/test changesNeedsInvestigation

#22929 opened 7 years ago by mdempsky

some facts are missing after an errorNeedsInvestigation

#22467 opened 7 years ago by alandonovan

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

#21982 opened 7 years ago by griesemer

doesn't understands constants defined in cgo codeNeedsInvestigation

#21712 opened 7 years ago by purpleidea

vague docs about "incrementally" type checking filesDocumentationNeedsInvestigation

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

request for NewSelection constructorNeedsInvestigation

#12881 opened 9 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 10 years ago by adonovan

need way to get from function type to function declThinking

#8763 opened 10 years ago by griesemer

constant values should reported as machine values for concrete typesNeedsInvestigation

#8718 opened 10 years ago by griesemer

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

#8353 opened 10 years ago by adonovan

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

#6774 opened 11 years ago by griesemer

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

#5501 opened 11 years ago by adonovan