mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
push down: do not add the same interface twice (check class equivalence over non-copied element)
This commit is contained in:
@@ -0,0 +1,3 @@
|
||||
interface Int {}
|
||||
public class Test implements In<caret>t {}
|
||||
class B extends Test implements Int {}
|
||||
@@ -0,0 +1,3 @@
|
||||
interface Int {}
|
||||
public class Test {}
|
||||
class B extends Test implements Int {}
|
||||
Reference in New Issue
Block a user