Phantom types in Java

Phantom.java

class Files {
  static void read(File<Open> file) {}
  static File<Open> open(File<Closed> file) {
    return null;
  }
  static File<Closed> close(File<Open> file) {
    return null;
  }
}

interface State {}
class Open implements State {
  private Open() {}
}
class Closed implements State {
  private Closed() {}
}

class File<S extends State> {
  static File<Closed> create() {
    return null;
  }
}

public class Bikeshed {

  public static void main(String[] args) {

    File<Closed> file = File.create();

    // Does not compile
    File<Integer> a = null;

    // Does not compile
    Files.close(file);

    File<Open> openFile = Files.open(file);
    Files.read(openFile);
    File<Closed> closedFile = Files.close(openFile);
    
    // Does not compile
    Files.read(closedFile);
  }
}