なるほど、ここで型変数から受け取ったkindで比較してるからコンパイル時の型になるわけですね https://github.com/apple/swift/blob/bcb9571079cd86cbd6e7baa68e7e414460532a8f/stdlib/public/runtime/Casting.cpp#L2632-L2651

swift - The Swift Programming Language