だいたいのpreconditionはinlinableなコード片になっていてswiftmodule/swiftinterfaceに露出しているのでimportする側のユーザコード生成時にコンパイル時ビルドモード分岐が確定します