codegen: seal Ext traits

gtk-rs · May 30, 2023 · b0cfba0 · b0cfba0
1 parent 55b381b
commit b0cfba0
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/codegen/object.rs b/src/codegen/object.rs
@@ -486,7 +486,12 @@ fn generate_builder(w: &mut dyn Write, env: &Env, analysis: &analysis::object::I
 fn generate_trait(w: &mut dyn Write, env: &Env, analysis: &analysis::object::Info) -> Result<()> {
     write!(
         w,
-        "pub trait {}: IsA<{}> + 'static {{",
+        "mod sealed {{
+    pub trait Sealed {{}}
+    impl<T: super::IsA<super::{1}>> Sealed for T {{}}
+}}
+
+pub trait {}: IsA<{}> + sealed::Sealed + 'static {{",
         analysis.trait_name, analysis.name
     )?;