Skip to content

Commit

Permalink
could try removing the cast now, but actually that breaks other stuff…
Browse files Browse the repository at this point in the history
…... so not that simple
  • Loading branch information
radeusgd committed Feb 5, 2025
1 parent eded96f commit 0facc10
Showing 1 changed file with 2 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -50,9 +50,8 @@ public static StringStorage makeEmpty(TextType type, long size) {
}

@Override
public TextType getType() {
// As the type is fixed, we can safely cast it.
return (TextType) super.getType();
public StorageType<String> getType() {
return super.getType();
}

@Override
Expand Down

0 comments on commit 0facc10

Please sign in to comment.