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	562	May 21, 2018
Any reason to prefer `::Type{T}` over `T::Type`? General Usage parametric-types , style	4	552	September 1, 2023
Anybody else find the new where syntax less than satisfactory? General Usage	14	8242	December 15, 2019
Return type annotation with "where" General Usage	3	1080	May 28, 2017
`Where` questions General Usage	17	1638	February 3, 2017