[SLC] Treat error class types as not-nullable

This commit is contained in:
Pavel Mikhailovskii
2023-05-11 11:48:45 +00:00
committed by Space Team
parent bdad2e5c88
commit 25c0725da9
9 changed files with 31 additions and 21 deletions
@@ -29,14 +29,16 @@ public final class Container /* p1.Container*/ {
public static final class MyString /* p1.Container.MyString*/ implements java.lang.CharSequence {
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.lang.CharSequence subSequence(int, int);// subSequence(int, int)
@java.lang.Override()
public IntStream chars();// chars()
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public IntStream codePoints();// codePoints()
@java.lang.Override()
@org.jetbrains.annotations.NotNull()
public java.lang.CharSequence subSequence(int, int);// subSequence(int, int)
@java.lang.Override()
public char get(int);// get(int)