mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 20:33:31 +07:00
GitOrigin-RevId: 0ba4eed5966c273f94552d7fe623a69bb6eb6c95
12 lines
247 B
Java
12 lines
247 B
Java
// duplicates in extends
|
|
|
|
class a {
|
|
}
|
|
|
|
class b extends a, <error descr="Duplicate reference to 'a' in 'extends' list">a</error> {
|
|
}
|
|
|
|
interface i {}
|
|
|
|
class c implements i, <error descr="Duplicate reference to 'i' in 'implements' list">i</error> {
|
|
} |