TypeSystemIssue.java

sealed interface Data<T> {

  record DataString(String value) implements Data<String> {}

  static <T> T get(Data<T> data) {
    // why I need to force the cast to T?
    return (T) switch (data) {
        case DataString(var value) -> value;
    };
  }
}

var value = new Data.DataString("Hello");

System.out.println(Data.get(value));