go/types: Info.Selections records unique objects for generic methods #51184
Labels
FrozenDueToAge
NeedsInvestigation
Someone must examine and confirm this is a valid issue and not a duplicate of an existing one.
Milestone
Consider https://gotipplay.golang.org/p/DBMZ9zBIaGB
We have a generic and a normal method named
Bar
, which result in the following two objects in Info.Defs:All calls to Normal.Bar map to the same object in Info.Selections, which is also the object that was recorded in Info.Defs:
However, each call to Generic[T].Bar maps to a different object, none of which matches one in Info.Defs:
(The same behavior can be observed with Info.Uses instead of Info.Selections.)
Is this expected behavior?
/cc @findleyr
The text was updated successfully, but these errors were encountered: