Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

types2, go/types: (constraint) type inference for parameterized types is not implemented #47990

Closed
griesemer opened this issue Aug 26, 2021 · 4 comments
Closed

types2, go/types: (constraint) type inference for parameterized types is not implemented #47990

griesemer opened this issue Aug 26, 2021 · 4 comments
Labels
FrozenDueToAge NeedsFix The path to resolution is known, but the work has not been done. release-blocker
Milestone
Go1.18

Comments

@griesemer
Copy link
Contributor

Reminder issue.

Per the evolving spec (CL 294469), type inference is applied uniformly to type and function instantiations. For type instantiations, only constraint type inference will kick in, if any.

cc: @findleyr
@griesemer griesemer added NeedsFix The path to resolution is known, but the work has not been done. release-blocker labels Aug 26, 2021
@griesemer griesemer added this to the Go1.18 milestone Aug 26, 2021
@griesemer griesemer self-assigned this Aug 26, 2021
@toothrot
Copy link
Contributor

Reminding the reminder. Checking in on this issue as it's labeled a release blocker for Go 1.18. Is there any update?

@griesemer
Copy link
Contributor Author

We may or may not do this for Go1.18 as it can always be done later. The spec is not filly in sync with the proposal. This is still in progress.

@findleyr findleyr assigned findleyr and unassigned griesemer Oct 7, 2021
@gopherbot
Copy link

Change https://golang.org/cl/356489 mentions this issue: go/types: add support for inferring type instances

@gopherbot
Copy link

Change https://golang.org/cl/356514 mentions this issue: cmd/compile/internal/types2: add support for inferring type instances

gopherbot pushed a commit that referenced this issue Oct 19, 2021
@griesemer
cmd/compile/internal/types2: add support for inferring type instances
3a07ab7 
This is an essentially clean port of CL 356489 from go/types to types2,
with minor adjustments due to the different AST packages and error
reporting.

Fixes #47990.

Change-Id: I52187872474bfc1fb49eb77905f22fc820b7295b
Reviewed-on: https://go-review.googlesource.com/c/go/+/356514
Trust: Robert Griesemer <gri@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
@golang golang locked and limited conversation to collaborators Jun 23, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
FrozenDueToAge NeedsFix The path to resolution is known, but the work has not been done. release-blocker
Projects
None yet
Milestone
Go1.18
Development

No branches or pull requests
4 participants
@toothrot @griesemer @gopherbot @findleyr