@Benny thanks! That’s exactly what I wanted to see.
And for any future readers, this works (tested) if you need it:
(f(::T)::Nothing) where {T} = nothing
Lastly (linked from the github) here’s an old discourse discussion on the topic, which makes clear what’s going on: Which of `::` and `where` should take precedence?