| public final class Derived implements Base { | |
| public Derived(@org.jetbrains.annotations.NotNull Base x) { /* compiled code */ } | |
| @org.jetbrains.annotations.NotNull | |
| public java.lang.String baz(@org.jetbrains.annotations.NotNull java.lang.String g) { /* compiled code */ } | |
| } |