let a: (AnyObject, AnyObject) = (Cat(), Cat()) let b = a as! (Animal, Animal) みたいなときは、静的なキャストができなくてタプル全体が実行時キャストになるから FIXME のところまで到達しないと思います。 (edited)