Remember about types in expression context. Is [5-Int].self an InlineArray metatype, or an array literal with one element which is the result of calling the - operator on an integer and metatype? (You can define such an overload for yourself if you want.)
That’s certainly an esoteric case, but ambiguity generally makes error recovery and diagnostics more difficult.