@Contract("!null -> !null")
  public static org.intellij.markdown.IElementType markdownType(@Nullable IElementType platformType) {
    if (platformType == null) {
      return null;
    }
    var result = platformToMarkdownTypeMap.get(platformType);
    if (result != null) {
      return result;
    }
    synchronized (platformToMarkdownTypeMap) {
      return platformToMarkdownTypeMap.get(platformType);
    }
  }
@Contract("!null -> !null")
  public static org.intellij.markdown.IElementType markdownType(@Nullable IElementType platformType)