You aren’t type restricting the argument so the compiler believes it is a
AAA | String.
Yes, I know, in fact, i have another similar question asked several days ago, but, i still consider this is not acceptable, both case not all same, that is a literal, but, this time exactly a Type, it don’t want use Ruby back.