mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 14:37:45 +07:00
Cover cases with interface implementation by delegation: — Do not require two overridden symbols: both the delegate and the explicit override can refer to the same interface method with a default implementation. — Fix subtyping check: delegates override members from the implemented interface and its supertypes, not subtypes. KTIJ-16228 GitOrigin-RevId: 93dde1f05141098c359e3e7d4f15a5a63083f44c