Skip to content

proposal: spec: partial type inference when only some type params can be inferred #74956

@sibber5

Description

@sibber5

Proposal Details

Support partial type inference for cases where some type params can't be inferred, for instance:

Foo[,U](5) // in place of Foo[int, U](5)

func Foo[T any, U any](t T) { ... }

Metadata

Metadata

Assignees

No one assigned

    Labels

    LanguageProposalIssues describing a requested change to the Go language specification.Proposal

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions