go/types

type mismatch with func error less helpful since go 1.18BugReportNeedsInvestigation

#73428 opened 1 week ago by gnojus

add TypeAndValue.IsConstantLibraryProposalProposal

#73402 opened 1 week ago by jba

deferred function executed multiple timesBugReportNeedsInvestigationToolscompiler/runtimegoplsgopls/memory-corruptiongopls/telemetry-wins

#73267 opened 2 weeks ago by adonovan

SEGV while loading types.Var.name field (lookupScope returns invalid *types.Var)NeedsInvestigationToolsgoplsgopls/memory-corruptiongopls/telemetry-wins

#73261 opened 2 weeks ago by adonovan

API allows instantiation of instantiated typeBugReportNeedsFix

#72978 opened 1 month ago by griesemer

improve assertion when PkgName is found in Package.ScopeBugReportNeedsInvestigation

#72785 opened 1 month ago by etnz

add StrictlyComparable functionLibraryProposalProposal

#72059 opened 1 month ago by kwjw

TestFixedbugs/issue60434.go failuresNeedsInvestigationOS-Darwin

#72014 opened 2 months ago by gopherbot

add Basic.ObjFeatureRequestLibraryProposalNeedsInvestigationProposal

#71886 opened 2 months ago by adonovan

publish Error.{Start,End} fieldsLibraryProposalProposal

#71803 opened 2 months ago by adonovan

stack overflow in AlignofBugReportNeedsInvestigationToolsgoplsgopls/telemetry-wins

#71143 opened 3 months ago by adonovan

add Info.ImplicitConversions mappingProposalProposal-Accepted

#70638 opened 4 months ago by adonovan

add Var.Kind method and enumProposalProposal-Accepted

#70250 opened 5 months ago by adonovan

position-independent type checkingNeedsInvestigation

#69673 opened 7 months ago by adonovan

add Import, Export functionsProposal

#69491 opened 7 months ago by adonovan

add Hasher{,IgnoreTags} typesProposalProposal-FinalCommentPeriod

#69420 opened 7 months ago by adonovan

NewSignatureType mutates its TypeParams, and panics unless they are newNeedsInvestigation

#67293 opened 11 months ago by adonovan

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

#67263 opened 11 months ago by findleyr

add HasTypeName interfaceProposal

#66890 opened 1 year ago by adonovan

slow type checking with thousands of methods on a typeNeedsInvestigationPerformance

#66699 opened 1 year ago by findleyr

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

#66525 opened 1 year ago by timothy-king

adopt "defined type" terminology consistentlyProposal

#65855 opened 1 year ago by adonovan

don't panic when calling under/underlyingNeedsInvestigationcompiler/runtime

#65344 opened 1 year ago by paulsonkoly

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

#65202 opened 1 year ago by leaxoy

export API for unificationProposal

#63982 opened 1 year ago by dominikh

TestStdTest failuresNeedsInvestigation

#63048 opened 2 years ago by gopherbot

TestStdFixed failuresNeedsInvestigation

#62889 opened 2 years ago by gopherbot

TestSelf failuresNeedsInvestigation

#62861 opened 2 years ago by gopherbot

assign non-untyped types for all runtime expressionsProposal

#62466 opened 2 years ago by mdempsky

Implements is an allocation hotspotNeedsFixPerformance

#61162 opened 2 years ago by adonovan

an API for normalized interface termsProposal

#61013 opened 2 years ago by findleyr

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

#60817 opened 2 years 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 3 years ago by iaburton

record instantiated type when fully instantiated function call is missing argumentsNeedsInvestigation

#52503 opened 3 years ago by findleyr

improve API for setting type parameter constraints in importersNeedsInvestigation

#52104 opened 3 years ago by findleyr

error reported for valid shiftsNeedsInvestigation

#52080 opened 3 years ago by griesemer

considers non-identical constraint interfaces to be identicalNeedsFix

#51917 opened 3 years ago by Merovius

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

#51603 opened 3 years ago by griesemer

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

#51592 opened 3 years ago by findleyr

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

#51270 opened 3 years ago by feliixx

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

#51244 opened 3 years ago by mdempsky

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

#50937 opened 3 years ago by griesemer

documentation needs to be updatedDocumentationNeedsInvestigationgenerics

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

lazy resolution of imported objectsProposal

#46449 opened 3 years ago by mdempsky

shared type expressions are evaluated once per variableFeatureRequestNeedsDecisioncompiler/runtime

#46208 opened 4 years ago by mdempsky

improve documentation on constant.Kind and relationship to concrete typesDocumentationNeedsInvestigation

#45906 opened 4 years ago by dominikh

missing error for invalid cycle in function declarationNeedsInvestigation

#43215 opened 4 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 5 years ago by heschi

SIGSEGV in (*Checker).exprInternalNeedsInvestigationcompiler/runtime

#37602 opened 5 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 6 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 8 years ago by mdempsky

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

#15783 opened 9 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 12 years ago by adonovan