mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-04 15:44:48 +07:00
GitOrigin-RevId: 22a46c15d8900d8a31514846755a013f6a67ad42
8 lines
105 B
Java
8 lines
105 B
Java
// "Make 'a' not final" "true-preview"
|
|
import java.io.*;
|
|
|
|
final class a {
|
|
}
|
|
class b extends <caret>a {
|
|
}
|