compile_error!("Swift inbound trait bridge for `{{ trait_name }}` declares a Plugin super-trait, but Alef could not resolve its Rust path. Set `super_trait` to a fully-qualified Rust path such as `crate_name::Plugin`, or ensure the Plugin trait is present in the extracted IR.");