Julia 关于'isbits'类型参数的算法

我想要以下的类型稳定版本（这不是）：

这可能吗？

这算吗

@generated bar(::Val{k}) where k = :(Val{$(k+1)}())

例如：

julia> bar(Val{2}())
Val{3}()

julia> @code_warntype bar(Val{2}())
Variables:
  #self# <optimized out>
  #unused# <optimized out>

Body:
  begin  # line 1:
      return $(QuoteNode(Val{3}()))
  end::Val{3}

julia>bar（Val{2}（））
Val{3}（）
julia>@code_warn类型条（Val{2}（））
变量：
#自我#
#未使用的
正文：
开始#第1行：
返回$（QuoteNode（Val{3}（）））
结束：：Val{3}

这绝对重要！谢谢

julia> bar(Val{2}())
Val{3}()

julia> @code_warntype bar(Val{2}())
Variables:
  #self# <optimized out>
  #unused# <optimized out>

Body:
  begin  # line 1:
      return $(QuoteNode(Val{3}()))
  end::Val{3}