あれ？そのタイプチェクした結果は、.swiftmodule ファイルとしてキャッシュされないですか？