go/types, types2: disable inference for instances of defined types (not functions) for 1.18 #51527
Labels
FrozenDueToAge
generics
Issue is related to generics
NeedsFix
The path to resolution is known, but the work has not been done.
release-blocker
TypeInference
Issue is related to generic type inference
Milestone
Note: this issue pertains only to inference of type arguments for defined types, NOT for functions.
E.g., the following currently works.
https://go.dev/play/p/ZCGoJ494neo?v=gotip
This feature was considered a "nice to have" for 1.18, due to symmetry with function type inference. However, resolving type instances is more complex than resolving function instances, due to recursive declarations, and recently we've seen bugs related to "type-type inference" that manifest in confusing ways (e.g. #51233 or #51489).
In consideration of the timing, we've decided to disable this feature for 1.18.
CC @griesemer @ianlancetaylor @rsc
The text was updated successfully, but these errors were encountered: