go/types

New Issue

embedding comparable ignores other type set constraints NeedsFix

#47411 opened 1 day ago by griesemer

inconsistent types reported for shift expressions with constant RHSNeedsFix

#47410 opened 1 day ago by findleyr

change in embedded type ordering on dev.typeparams branchNeedsDecision

#47352 opened 5 days ago by mdempsky

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

#47205 opened 1 week ago by griesemer

extend types.Info with implicit conversions from assignabilityNeedsInvestigation

#47151 opened 2 weeks ago by mdempsky

conversions involving type parameters don't workNeedsFixrelease-blocker

#47150 opened 2 weeks ago by griesemer

handle embedding of type parameters correctlyNeedsDecision

#47127 opened 2 weeks ago by griesemer

channel send on type parameters that describe channel sets not implementedNeedsFix

#47115 opened 2 weeks ago by griesemer

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

#47103 opened 2 weeks ago by griesemer

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

#47089 opened 2 weeks ago by gazerro

unclear error message on initialization loop and invalid parameter typeNeedsFix

#47059 opened 3 weeks ago by gazerro

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

#46794 opened 1 month ago by mdempsky

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

#46594 opened 1 month ago by mdempsky

type instantiation fails to distinguish similarly named defined types within a packageNeedsFix

#46592 opened 1 month ago by mdempsky

self-reference within type parameter constraintsNeedsInvestigation

#46461 opened 1 month ago by mdempsky

lazy resolution of imported objectsProposal

#46449 opened 1 month ago by mdempsky

dev.typeparams branch: cannot use T₈ value as type IBase in assignment: T₈ does not implement IBase (missing GetName method)NeedsInvestigation

#46442 opened 1 month ago by zllangct

change Interface.Embedded to panic instead of returning nil for non-defined typesNeedsDecision

#46423 opened 2 months ago by mdempsky

uninstantiated method in assignment checkNeedsInvestigation

#46275 opened 2 months ago by findleyr

shared type expressions are evaluated once per variableFeatureRequestNeedsDecision

#46208 opened 2 months ago by mdempsky

investigate if we can get rid of internal gcCompatibilityMode flagNeedsInvestigation

#46174 opened 2 months ago by griesemer

unnecessarily incomplete interface in error messageNeedsInvestigation

#46167 opened 2 months ago by findleyr

typeparams: sanitize Scopes, etcNeedsInvestigation

#46151 opened 2 months ago by findleyr

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

#45985 opened 2 months ago by findleyr

revisit mapping of TypeNames to TypeParamsNeedsInvestigation

#45935 opened 2 months ago by mdempsky

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

#45920 opened 2 months ago by griesemer

improve documentation on constant.Kind and relationship to concrete typesDocumentationNeedsInvestigation

#45906 opened 2 months ago by dominikh

better error message for incompatible types due to method signature mismatchNeedsFix

#45813 opened 3 months ago by griesemer

disallow type parameters as RHS of type declarationsNeedsDecisiongenericsrelease-blocker

#45639 opened 3 months ago by findleyr

stack overflow checking recursive generic typeNeedsInvestigation

#45550 opened 3 months ago by findleyr

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

#45117 opened 4 months ago by griesemer

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

#44410 opened 5 months ago by griesemer

encoding used by objectpath is inconsistent for use by compiler & tools/analysisAnalysisNeedsInvestigation

#44195 opened 5 months ago by amscanne

type checker does not allow to use receive operation even all types in type list are channels NeedsFix

#43671 opened 6 months ago by tdakkota

disallow embedding type parametersNeedsInvestigation

#43621 opened 6 months ago by mdempsky

missing error for invalid cycle in function declarationNeedsInvestigation

#43215 opened 7 months ago by findleyr

clearly mark the package as not supporting modulesWaitingForInfo

#43170 opened 7 months ago by natefinch

"import path cannot be absolute path" error not reportedNeedsFix

#43109 opened 7 months ago by griesemer

avoid "declared but not used" errors for variables in invalid declarationsNeedsInvestigation

#42937 opened 7 months ago by griesemer

missing type information in cycle detectionNeedsInvestigation

#41669 opened 10 months ago by cuonglm

improve error messages by using compact package namesNeedsInvestigationTools

#41044 opened 11 months ago by emil14

type parameter order is significant when it should not beNeedsFixrelease-blocker

#40789 opened 11 months ago by rogpeppe

UsesCgo exposes mangled namesNeedsFix

#39072 opened 1 year ago by heschi

SIGSEGV in (*Checker).exprInternalNeedsInvestigation

#37602 opened 1 year 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 3 years ago by alandonovan

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

#21982 opened 3 years ago by griesemer

doesn't understands constants defined in cgo codeNeedsInvestigation

#21712 opened 3 years ago by purpleidea

vague docs about "incrementally" type checking filesDocumentation

#20124 opened 4 years ago by mdempsky

add GCSizes

#17586 opened 4 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 5 years ago by mdempsky

request for NewSelection constructor

#12881 opened 5 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 6 years ago by adonovan

need way to get from function type to function declThinking

#8763 opened 6 years ago by griesemer

constant values should reported as machine values for concrete types

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

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

#5501 opened 8 years ago by adonovan