算術演算は、私は（これはありません）、次の型の安定版が欲しい

Question

パラメータ？

Answer 1

これはカウントされますか？例えば

@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}