Currently (Julia v1.7), where takes precedence over ::. For example: julia> :(f(x::T where T <: Integer)) :(f(x::(T where T <: Integer))) However, this means that the return type annotation will not play nice with parametric methods: julia> f(x::T)::Int where T<:Integer = x ERROR: UndefVarError: …

Which of `::` and `where` should take precedence?

fredrikekre July 26, 2022, 10:58am 2

3 Likes

Topic		Replies	Views
Return type assertions with type parameters General Usage	1	1007	July 20, 2017
Best practice for parametric return type declarations in v0.7 (and v1.0) General Usage parametric-types	2	751	October 17, 2017
Proper way to declare return types parametrically in short-form functions in Julia 0.6 General Usage	1	1392	August 3, 2017
semantics of `where {}` in parametric methods New to Julia question	3	555	May 21, 2018
What is the main point of "where"? General Usage	7	1334	May 27, 2017