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
semantics of `where {}` in parametric methods New to Julia question	3	584	May 21, 2018
Return type annotation with "where" General Usage	3	1098	May 28, 2017
`Where` questions General Usage	17	1707	February 3, 2017
Return type assertions with type parameters General Usage	1	1026	July 20, 2017
Best practice for parametric return type declarations in v0.7 (and v1.0) General Usage parametric-types	2	771	October 17, 2017