my question is why does this compile?

oh should I put the code directly here instead of a playground link?

(yes if the code is small it's easier to just put it here)

If you want to experiment or clarify those things, you can try specifying the type of

T

explicitly, as in:

a.isOneOf<String>(1.2, 3)

And this will fail as you expect