@Override
  public String getDeprecationMessage() {
    return withGreenStubOrAst(
      PyFileStub.class,
      stub -> stub.getDeprecationMessage(),
      ast -> extractDeprecationMessage()
    );
  }
@Override
  public String getDeprecationMessage()