どうも特別扱いは -sil-serialize-all っていうオプション付きでモジュールがコンパイルされているか否かによるみたいです。この場合、実装含めた全てのSILが .swiftmodule にシリアライズされるので、caller側はcalleeのSILレベルでの実装を見通して最適化が出来ようになると。