Search results

proposal: spec: infer types from sufficiently constrained constraints

LanguageChangeSuggested changes to the Go languageSuggested changes to the Go language

LanguageChangeReviewDiscussed by language change review committeeDiscussed by language change review committee

Proposal

Proposal-Hold

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#73527 In golang/go;

· tempoz opened on Apr 28, 2025

 ·  

Proposal

cmd/compile: failed type inference

BugReportIssues describing a possible bug in the Go implementation.Issues describing a possible bug in the Go implementation.

compiler/runtimeIssues related to the Go compiler and/or runtime.Issues related to the Go compiler and/or runtime.

NeedsInvestigationSomeone must examine and confirm this is a valid issue and not a duplicate of an existing one.Someone must examine and confirm this is a valid issue and not a duplicate of an existing one.

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#71769 In golang/go;

· lee-ext opened on Feb 15, 2025

 ·  

Go1.25

cmd/compile: type parameter involving constraint with channels seems like it should be inferrable

compiler/runtimeIssues related to the Go compiler and/or runtime.Issues related to the Go compiler and/or runtime.

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#69153 In golang/go;

· mark-rushakoff opened on Aug 29, 2024

 ·  

Go1.25

go/types, cmd/compile/internal/types2: type inference limitation leads to incorrect result for directed channel type constraint

genericsIssue is related to genericsIssue is related to generics

NeedsInvestigationSomeone must examine and confirm this is a valid issue and not a duplicate of an existing one.Someone must examine and confirm this is a valid issue and not a duplicate of an existing one.

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#65202 In golang/go;

· leaxoy opened on Jan 22, 2024

 ·  

Backlog

proposal: spec: infer parameter type from arguments in call to result function

genericsIssue is related to genericsIssue is related to generics

Proposal

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#64197 In golang/go;

· pat42smith opened on Nov 16, 2023

 ·  

Proposal

proposal: spec: apply constraint type inference to generic types

Proposal

Proposal-Hold

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#62460 In golang/go;

· itsmontoya opened on Sep 5, 2023

 ·  

Proposal

proposal: spec: type inference for union of functions

Proposal

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#61802 In golang/go;

· matthewmueller opened on Aug 7, 2023

 ·  

Proposal

proposal: spec: support type inference on generic structs

genericsIssue is related to genericsIssue is related to generics

Proposal

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#61731 In golang/go;

· matthewmueller opened on Aug 3, 2023

 ·  

Proposal

proposal: spec: infer generic function type even when it's called

genericsIssue is related to genericsIssue is related to generics

NeedsInvestigationSomeone must examine and confirm this is a valid issue and not a duplicate of an existing one.Someone must examine and confirm this is a valid issue and not a duplicate of an existing one.

Proposal

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#61712 In golang/go;

· rogpeppe opened on Aug 2, 2023

 ·  

Proposal

cmd/compile: unhelpful error message with recursive constraint

BadErrorMessageIssues related compiler error messages that should be better.Issues related compiler error messages that should be better.

compiler/runtimeIssues related to the Go compiler and/or runtime.Issues related to the Go compiler and/or runtime.

genericsIssue is related to genericsIssue is related to generics

NeedsInvestigationSomeone must examine and confirm this is a valid issue and not a duplicate of an existing one.Someone must examine and confirm this is a valid issue and not a duplicate of an existing one.

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#61685 In golang/go;

· rogpeppe opened on Aug 1, 2023

 ·  

Go1.25

spec: type inference can't infer types for a generic union of functions

genericsIssue is related to genericsIssue is related to generics

NeedsInvestigationSomeone must examine and confirm this is a valid issue and not a duplicate of an existing one.Someone must examine and confirm this is a valid issue and not a duplicate of an existing one.

Proposal-Hold

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#56975 In golang/go;

· logandavies181 opened on Nov 29, 2022

 ·  

Backlog

proposal: spec: infer argument types when a type set only represents its core type

genericsIssue is related to genericsIssue is related to generics

Proposal

Proposal-Hold

TypeInferenceIssue is related to generic type inferenceIssue is related to generic type inference

Status: Open.

#52272 In golang/go;

· changkun opened on Apr 11, 2022

 ·  

Proposal