Linker doesn't use correct TypeDefinition to determine if a method is needed as an override of an interface method

[jtschuster]

See #97487 (comment) for more details.

There could be a method on a base type that provides an implementation for an interface implementation. Using that type as the "Implementing type" is incorrect, but will lead to correct results because the method will be kept if the "Implementing type" is marked as instantiated, and because all base types are marked as instantiated if the derived type is.

Tagging subscribers to this area: @agocke, @sbomer, @vitek-karas
See info in area-owners.md if you want to be subscribed.

Issue Details

---

See #97487 (comment) for more details.

There could be a method on a base type that provides an implementation for an interface implementation. Using that type as the "Implementing type" is incorrect, but will lead to correct results because the method will be kept if the "Implementing type" is marked as instantiated, and because all base types are marked as instantiated if the derived type is.

Author:	jtschuster
Assignees:	jtschuster
Labels:	area-Tools-ILLink
Milestone:	-