`3:::Int` parses as `3::(:Int)`

[nsajko]

julia> 3:::Int
ERROR: TypeError: in typeassert, expected Type, got a value of type Symbol
Stacktrace:
 [1] top-level scope
   @ REPL[2]:1

julia> 3::(:Int)
ERROR: TypeError: in typeassert, expected Type, got a value of type Symbol

Perhaps a warning/syntax error would make more sense.

[JeffBezanson]

Works perfectly:

julia> @eval 3:::($Int)
3

😄

[nsajko]

The reason this bothers me, sorry for not being clear before, is that ::: instead of :: is an easy typo to make.

[LilithHafner]

How do you propose it should parse?

[nsajko]

Sorry for not being clear, I propose the syntax should be disallowed in one of the strict modes, xref #54903

[nsajko]

So, instead of @eval 3:::($Int), one would have to write @eval 3 :: :($Int) or @eval 3::(:($Int)).