@Override
  public @NotNull PsiType convertType(@NotNull JvmType type) {
    if (type instanceof PsiType) return (PsiType)type;
    throw new RuntimeException("TODO");
  }
@Override
  public @NotNull PsiType convertType(@NotNull JvmType type)