From f065259273d5b1d0b13dd2cdd0ee3c01c962fa7d Mon Sep 17 00:00:00 2001
From: Fina Wilke <code@felinira.net>
Date: Sun, 29 Sep 2024 20:00:29 +0200
Subject: [PATCH] Add IsA<Object> trait bound to Impl traits

---
 gdk-pixbuf/src/subclass/pixbuf_animation.rs   | 13 ++-
 .../src/subclass/pixbuf_animation_iter.rs     | 13 ++-
 gdk-pixbuf/src/subclass/pixbuf_loader.rs      | 13 ++-
 gio/src/subclass/action_group.rs              | 25 ++++-
 gio/src/subclass/action_map.rs                | 13 ++-
 gio/src/subclass/application.rs               | 22 ++++-
 gio/src/subclass/async_initable.rs            | 11 ++-
 gio/src/subclass/initable.rs                  | 11 ++-
 gio/src/subclass/input_stream.rs              | 14 ++-
 gio/src/subclass/io_stream.rs                 | 13 ++-
 gio/src/subclass/list_model.rs                | 13 ++-
 gio/src/subclass/output_stream.rs             | 13 ++-
 gio/src/subclass/seekable.rs                  | 15 ++-
 gio/src/subclass/socket_control_message.rs    | 14 ++-
 glib-macros/tests/object_subclass_dynamic.rs  | 92 ++++++++++++++++---
 glib-macros/tests/properties.rs               |  5 +-
 glib/src/gobject/dynamic_object.rs            |  3 +-
 glib/src/subclass/object.rs                   | 43 +++++++--
 glib/src/subclass/type_module.rs              |  8 +-
 glib/src/subclass/type_plugin.rs              | 11 ++-
 20 files changed, 313 insertions(+), 52 deletions(-)

diff --git a/gdk-pixbuf/src/subclass/pixbuf_animation.rs b/gdk-pixbuf/src/subclass/pixbuf_animation.rs
index ee5ff297496d..ae08ed4ede66 100644
--- a/gdk-pixbuf/src/subclass/pixbuf_animation.rs
+++ b/gdk-pixbuf/src/subclass/pixbuf_animation.rs
@@ -15,6 +15,7 @@ use crate::{ffi, Pixbuf, PixbufAnimation, PixbufAnimationIter};
 
 pub trait PixbufAnimationImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<PixbufAnimation>,
 {
     fn is_static_image(&self) -> bool {
@@ -36,6 +37,7 @@ where
 
 pub trait PixbufAnimationImplExt: ObjectSubclass + PixbufAnimationImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<PixbufAnimation>,
 {
     fn parent_is_static_image(&self) -> bool {
@@ -117,13 +119,16 @@ where
     }
 }
 
-impl<T: PixbufAnimationImpl> PixbufAnimationImplExt for T where
-    <Self as ObjectSubclass>::Type: IsA<PixbufAnimation>
+impl<T: PixbufAnimationImpl> PixbufAnimationImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<PixbufAnimation>,
 {
 }
 
 unsafe impl<T: PixbufAnimationImpl> IsSubclassable<T> for PixbufAnimation
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimation>,
 {
     fn class_init(class: &mut ::glib::Class<Self>) {
@@ -141,6 +146,7 @@ unsafe extern "C" fn animation_is_static_image<T: PixbufAnimationImpl>(
     ptr: *mut ffi::GdkPixbufAnimation,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimation>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -154,6 +160,7 @@ unsafe extern "C" fn animation_get_size<T: PixbufAnimationImpl>(
     width_ptr: *mut libc::c_int,
     height_ptr: *mut libc::c_int,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimation>,
 {
     if width_ptr.is_null() && height_ptr.is_null() {
@@ -176,6 +183,7 @@ unsafe extern "C" fn animation_get_static_image<T: PixbufAnimationImpl>(
     ptr: *mut ffi::GdkPixbufAnimation,
 ) -> *mut ffi::GdkPixbuf
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimation>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -209,6 +217,7 @@ unsafe extern "C" fn animation_get_iter<T: PixbufAnimationImpl>(
     start_time_ptr: *const glib::ffi::GTimeVal,
 ) -> *mut ffi::GdkPixbufAnimationIter
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimation>,
 {
     let instance = &*(ptr as *mut T::Instance);
diff --git a/gdk-pixbuf/src/subclass/pixbuf_animation_iter.rs b/gdk-pixbuf/src/subclass/pixbuf_animation_iter.rs
index 03e16a1db22c..d3a104a2e8b8 100644
--- a/gdk-pixbuf/src/subclass/pixbuf_animation_iter.rs
+++ b/gdk-pixbuf/src/subclass/pixbuf_animation_iter.rs
@@ -14,6 +14,7 @@ use crate::{ffi, Pixbuf, PixbufAnimationIter};
 
 pub trait PixbufAnimationIterImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<PixbufAnimationIter>,
 {
     // rustdoc-stripper-ignore-next
@@ -37,6 +38,7 @@ where
 
 pub trait PixbufAnimationIterImplExt: ObjectSubclass + PixbufAnimationIterImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<PixbufAnimationIter>,
 {
     fn parent_delay_time(&self) -> Option<Duration> {
@@ -122,13 +124,16 @@ where
     }
 }
 
-impl<T: PixbufAnimationIterImpl> PixbufAnimationIterImplExt for T where
-    <T as ObjectSubclass>::Type: IsA<PixbufAnimationIter>
+impl<T: PixbufAnimationIterImpl> PixbufAnimationIterImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<PixbufAnimationIter>,
 {
 }
 
 unsafe impl<T: PixbufAnimationIterImpl> IsSubclassable<T> for PixbufAnimationIter
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimationIter>,
 {
     fn class_init(class: &mut ::glib::Class<Self>) {
@@ -146,6 +151,7 @@ unsafe extern "C" fn animation_iter_get_delay_time<T: PixbufAnimationIterImpl>(
     ptr: *mut ffi::GdkPixbufAnimationIter,
 ) -> i32
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimationIter>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -158,6 +164,7 @@ unsafe extern "C" fn animation_iter_get_pixbuf<T: PixbufAnimationIterImpl>(
     ptr: *mut ffi::GdkPixbufAnimationIter,
 ) -> *mut ffi::GdkPixbuf
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimationIter>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -177,6 +184,7 @@ unsafe extern "C" fn animation_iter_on_currently_loading_frame<T: PixbufAnimatio
     ptr: *mut ffi::GdkPixbufAnimationIter,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimationIter>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -190,6 +198,7 @@ unsafe extern "C" fn animation_iter_advance<T: PixbufAnimationIterImpl>(
     current_time_ptr: *const glib::ffi::GTimeVal,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufAnimationIter>,
 {
     let instance = &*(ptr as *mut T::Instance);
diff --git a/gdk-pixbuf/src/subclass/pixbuf_loader.rs b/gdk-pixbuf/src/subclass/pixbuf_loader.rs
index e99388644043..a1b7b0d12175 100644
--- a/gdk-pixbuf/src/subclass/pixbuf_loader.rs
+++ b/gdk-pixbuf/src/subclass/pixbuf_loader.rs
@@ -9,6 +9,7 @@ use crate::{ffi, PixbufLoader};
 
 pub trait PixbufLoaderImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<PixbufLoader>,
 {
     fn size_prepared(&self, width: i32, height: i32) {
@@ -30,6 +31,7 @@ where
 
 pub trait PixbufLoaderImplExt: ObjectSubclass + PixbufLoaderImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<PixbufLoader>,
 {
     fn parent_size_prepared(&self, width: i32, height: i32) {
@@ -97,13 +99,16 @@ where
     }
 }
 
-impl<T: PixbufLoaderImpl> PixbufLoaderImplExt for T where
-    <T as ObjectSubclass>::Type: IsA<PixbufLoader>
+impl<T: PixbufLoaderImpl> PixbufLoaderImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<PixbufLoader>,
 {
 }
 
 unsafe impl<T: PixbufLoaderImpl> IsSubclassable<T> for PixbufLoader
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufLoader>,
 {
     fn class_init(class: &mut ::glib::Class<Self>) {
@@ -122,6 +127,7 @@ unsafe extern "C" fn loader_size_prepared<T: PixbufLoaderImpl>(
     width: i32,
     height: i32,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufLoader>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -132,6 +138,7 @@ unsafe extern "C" fn loader_size_prepared<T: PixbufLoaderImpl>(
 
 unsafe extern "C" fn loader_area_prepared<T: PixbufLoaderImpl>(ptr: *mut ffi::GdkPixbufLoader)
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufLoader>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -147,6 +154,7 @@ unsafe extern "C" fn loader_area_updated<T: PixbufLoaderImpl>(
     width: i32,
     height: i32,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufLoader>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -157,6 +165,7 @@ unsafe extern "C" fn loader_area_updated<T: PixbufLoaderImpl>(
 
 unsafe extern "C" fn loader_closed<T: PixbufLoaderImpl>(ptr: *mut ffi::GdkPixbufLoader)
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<PixbufLoader>,
 {
     let instance = &*(ptr as *mut T::Instance);
diff --git a/gio/src/subclass/action_group.rs b/gio/src/subclass/action_group.rs
index ca895077889a..69fd5168ef65 100644
--- a/gio/src/subclass/action_group.rs
+++ b/gio/src/subclass/action_group.rs
@@ -8,6 +8,7 @@ use crate::{ffi, ActionGroup};
 
 pub trait ActionGroupImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     fn action_added(&self, action_name: &str) {
@@ -78,6 +79,7 @@ where
 
 pub trait ActionGroupImplExt: ObjectSubclass + ActionGroupImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     fn parent_action_added(&self, action_name: &str) {
@@ -342,11 +344,16 @@ where
     }
 }
 
-impl<T: ActionGroupImpl> ActionGroupImplExt for T where <T as ObjectSubclass>::Type: IsA<ActionGroup>
-{}
+impl<T: ActionGroupImpl> ActionGroupImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<ActionGroup>,
+{
+}
 
 unsafe impl<T: ActionGroupImpl> IsImplementable<T> for ActionGroup
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     fn interface_init(iface: &mut glib::Interface<Self>) {
@@ -374,6 +381,7 @@ unsafe extern "C" fn action_group_has_action<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -388,6 +396,7 @@ unsafe extern "C" fn action_group_get_action_enabled<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -412,6 +421,7 @@ unsafe extern "C" fn action_group_get_action_parameter_type<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
 ) -> *const glib::ffi::GVariantType
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -444,6 +454,7 @@ unsafe extern "C" fn action_group_get_action_state_type<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
 ) -> *const glib::ffi::GVariantType
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -476,6 +487,7 @@ unsafe extern "C" fn action_group_get_action_state_hint<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
 ) -> *mut glib::ffi::GVariant
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -507,6 +519,7 @@ unsafe extern "C" fn action_group_get_action_state<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
 ) -> *mut glib::ffi::GVariant
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -536,6 +549,7 @@ unsafe extern "C" fn action_group_change_action_state<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
     stateptr: *mut glib::ffi::GVariant,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -551,6 +565,7 @@ unsafe extern "C" fn action_group_activate_action<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
     parameterptr: *mut glib::ffi::GVariant,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -565,6 +580,7 @@ unsafe extern "C" fn action_group_action_added<T: ActionGroupImpl>(
     action_group: *mut ffi::GActionGroup,
     action_nameptr: *const libc::c_char,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -578,6 +594,7 @@ unsafe extern "C" fn action_group_action_removed<T: ActionGroupImpl>(
     action_group: *mut ffi::GActionGroup,
     action_nameptr: *const libc::c_char,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -592,6 +609,7 @@ unsafe extern "C" fn action_group_action_enabled_changed<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
     enabled: glib::ffi::gboolean,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -606,6 +624,7 @@ unsafe extern "C" fn action_group_action_state_changed<T: ActionGroupImpl>(
     action_nameptr: *const libc::c_char,
     stateptr: *mut glib::ffi::GVariant,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -620,6 +639,7 @@ unsafe extern "C" fn action_group_list_actions<T: ActionGroupImpl>(
     action_group: *mut ffi::GActionGroup,
 ) -> *mut *mut libc::c_char
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
@@ -649,6 +669,7 @@ unsafe extern "C" fn action_group_query_action<T: ActionGroupImpl>(
     state: *mut *mut glib::ffi::GVariant,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionGroup>,
 {
     let instance = &*(action_group as *mut T::Instance);
diff --git a/gio/src/subclass/action_map.rs b/gio/src/subclass/action_map.rs
index 13b21ca01afc..6a30d68ec107 100644
--- a/gio/src/subclass/action_map.rs
+++ b/gio/src/subclass/action_map.rs
@@ -8,6 +8,7 @@ use crate::{ffi, Action, ActionMap};
 
 pub trait ActionMapImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<ActionMap>,
 {
     fn lookup_action(&self, action_name: &str) -> Option<Action>;
@@ -17,6 +18,7 @@ where
 
 pub trait ActionMapImplExt: ObjectSubclass + ActionMapImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<ActionMap>,
 {
     fn parent_lookup_action(&self, name: &str) -> Option<Action> {
@@ -69,10 +71,16 @@ where
     }
 }
 
-impl<T: ActionMapImpl> ActionMapImplExt for T where <T as ObjectSubclass>::Type: IsA<ActionMap> {}
+impl<T: ActionMapImpl> ActionMapImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<ActionMap>,
+{
+}
 
 unsafe impl<T: ActionMapImpl> IsImplementable<T> for ActionMap
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionMap>,
 {
     fn interface_init(iface: &mut glib::Interface<Self>) {
@@ -89,6 +97,7 @@ unsafe extern "C" fn action_map_lookup_action<T: ActionMapImpl>(
     action_nameptr: *const libc::c_char,
 ) -> *mut ffi::GAction
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionMap>,
 {
     let instance = &*(action_map as *mut T::Instance);
@@ -121,6 +130,7 @@ unsafe extern "C" fn action_map_add_action<T: ActionMapImpl>(
     action_map: *mut ffi::GActionMap,
     actionptr: *mut ffi::GAction,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionMap>,
 {
     let instance = &*(action_map as *mut T::Instance);
@@ -134,6 +144,7 @@ unsafe extern "C" fn action_map_remove_action<T: ActionMapImpl>(
     action_map: *mut ffi::GActionMap,
     action_nameptr: *const libc::c_char,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ActionMap>,
 {
     let instance = &*(action_map as *mut T::Instance);
diff --git a/gio/src/subclass/application.rs b/gio/src/subclass/application.rs
index b9962f15078d..bee49e117bed 100644
--- a/gio/src/subclass/application.rs
+++ b/gio/src/subclass/application.rs
@@ -66,6 +66,7 @@ impl From<ArgumentList> for Vec<OsString> {
 
 pub trait ApplicationImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<Application>,
 {
     fn activate(&self) {
@@ -115,6 +116,7 @@ where
 
 pub trait ApplicationImplExt: ObjectSubclass + ApplicationImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<Application>,
 {
     fn parent_activate(&self) {
@@ -272,11 +274,16 @@ where
     }
 }
 
-impl<T: ApplicationImpl> ApplicationImplExt for T where <T as ObjectSubclass>::Type: IsA<Application>
-{}
+impl<T: ApplicationImpl> ApplicationImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<Application>,
+{
+}
 
 unsafe impl<T: ApplicationImpl> IsSubclassable<T> for Application
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     fn class_init(class: &mut ::glib::Class<Self>) {
@@ -299,6 +306,7 @@ where
 
 unsafe extern "C" fn application_activate<T: ApplicationImpl>(ptr: *mut ffi::GApplication)
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -311,6 +319,7 @@ unsafe extern "C" fn application_after_emit<T: ApplicationImpl>(
     ptr: *mut ffi::GApplication,
     platform_data: *mut glib::ffi::GVariant,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -322,6 +331,7 @@ unsafe extern "C" fn application_before_emit<T: ApplicationImpl>(
     ptr: *mut ffi::GApplication,
     platform_data: *mut glib::ffi::GVariant,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -334,6 +344,7 @@ unsafe extern "C" fn application_command_line<T: ApplicationImpl>(
     command_line: *mut ffi::GApplicationCommandLine,
 ) -> i32
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -347,6 +358,7 @@ unsafe extern "C" fn application_local_command_line<T: ApplicationImpl>(
     exit_status: *mut i32,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -370,6 +382,7 @@ unsafe extern "C" fn application_open<T: ApplicationImpl>(
     num_files: i32,
     hint: *const c_char,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -380,6 +393,7 @@ unsafe extern "C" fn application_open<T: ApplicationImpl>(
 }
 unsafe extern "C" fn application_quit_mainloop<T: ApplicationImpl>(ptr: *mut ffi::GApplication)
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -389,6 +403,7 @@ where
 }
 unsafe extern "C" fn application_run_mainloop<T: ApplicationImpl>(ptr: *mut ffi::GApplication)
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -398,6 +413,7 @@ where
 }
 unsafe extern "C" fn application_shutdown<T: ApplicationImpl>(ptr: *mut ffi::GApplication)
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -407,6 +423,7 @@ where
 }
 unsafe extern "C" fn application_startup<T: ApplicationImpl>(ptr: *mut ffi::GApplication)
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -420,6 +437,7 @@ unsafe extern "C" fn application_handle_local_options<T: ApplicationImpl>(
     options: *mut glib::ffi::GVariantDict,
 ) -> c_int
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Application>,
 {
     let instance = &*(ptr as *mut T::Instance);
diff --git a/gio/src/subclass/async_initable.rs b/gio/src/subclass/async_initable.rs
index 433ae27ac68d..07e36151f943 100644
--- a/gio/src/subclass/async_initable.rs
+++ b/gio/src/subclass/async_initable.rs
@@ -10,6 +10,7 @@ use crate::{
 
 pub trait AsyncInitableImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<AsyncInitable>,
 {
     fn init_future(
@@ -22,6 +23,7 @@ where
 
 pub trait AsyncInitableImplExt: ObjectSubclass + AsyncInitableImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<AsyncInitable>,
 {
     fn parent_init_future(
@@ -43,6 +45,7 @@ where
                 user_data: glib::ffi::gpointer,
             ) where
                 T: AsyncInitableImpl,
+                <T as ObjectSubclass>::Type: IsA<glib::Object>,
                 <T as ObjectSubclass>::Type: IsA<AsyncInitable>,
             {
                 let type_data = T::type_data();
@@ -85,13 +88,16 @@ where
     }
 }
 
-impl<T: AsyncInitableImpl> AsyncInitableImplExt for T where
-    <T as ObjectSubclass>::Type: IsA<AsyncInitable>
+impl<T: AsyncInitableImpl> AsyncInitableImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<AsyncInitable>,
 {
 }
 
 unsafe impl<T: AsyncInitableImpl> IsImplementable<T> for AsyncInitable
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<AsyncInitable>,
 {
     fn interface_init(iface: &mut glib::Interface<Self>) {
@@ -108,6 +114,7 @@ unsafe extern "C" fn async_initable_init_async<T: AsyncInitableImpl>(
     callback: ffi::GAsyncReadyCallback,
     user_data: glib::ffi::gpointer,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<AsyncInitable>,
 {
     let instance = &*(initable as *mut T::Instance);
diff --git a/gio/src/subclass/initable.rs b/gio/src/subclass/initable.rs
index 9ad33d9bd364..4c83a6a89667 100644
--- a/gio/src/subclass/initable.rs
+++ b/gio/src/subclass/initable.rs
@@ -8,6 +8,7 @@ use crate::{ffi, Cancellable, Initable};
 
 pub trait InitableImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<Initable>,
 {
     fn init(&self, cancellable: Option<&Cancellable>) -> Result<(), Error> {
@@ -17,6 +18,7 @@ where
 
 pub trait InitableImplExt: ObjectSubclass + InitableImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<Initable>,
 {
     fn parent_init(&self, cancellable: Option<&Cancellable>) -> Result<(), Error> {
@@ -45,10 +47,16 @@ where
     }
 }
 
-impl<T: InitableImpl> InitableImplExt for T where <Self as ObjectSubclass>::Type: IsA<Initable> {}
+impl<T: InitableImpl> InitableImplExt for T
+where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
+    <Self as ObjectSubclass>::Type: IsA<Initable>,
+{
+}
 
 unsafe impl<T: InitableImpl> IsImplementable<T> for Initable
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Initable>,
 {
     fn interface_init(iface: &mut glib::Interface<Self>) {
@@ -63,6 +71,7 @@ unsafe extern "C" fn initable_init<T: InitableImpl>(
     error: *mut *mut glib::ffi::GError,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Initable>,
 {
     let instance = &*(initable as *mut T::Instance);
diff --git a/gio/src/subclass/input_stream.rs b/gio/src/subclass/input_stream.rs
index 7d8f97c48722..67295120e520 100644
--- a/gio/src/subclass/input_stream.rs
+++ b/gio/src/subclass/input_stream.rs
@@ -8,6 +8,7 @@ use crate::{ffi, Cancellable, InputStream};
 
 pub trait InputStreamImpl: ObjectImpl + Send
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<InputStream>,
 {
     fn read(&self, buffer: &mut [u8], cancellable: Option<&Cancellable>) -> Result<usize, Error> {
@@ -25,6 +26,7 @@ where
 
 pub trait InputStreamImplExt: ObjectSubclass + InputStreamImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<InputStream>,
 {
     fn parent_read(
@@ -104,11 +106,16 @@ where
     }
 }
 
-impl<T: InputStreamImpl> InputStreamImplExt for T where <T as ObjectSubclass>::Type: IsA<InputStream>
-{}
+impl<T: InputStreamImpl> InputStreamImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<InputStream>,
+{
+}
 
 unsafe impl<T: InputStreamImpl> IsSubclassable<T> for InputStream
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<InputStream>,
 {
     fn class_init(class: &mut ::glib::Class<Self>) {
@@ -129,6 +136,7 @@ unsafe extern "C" fn stream_read<T: InputStreamImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> isize
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<InputStream>,
 {
     debug_assert!(count <= isize::MAX as usize);
@@ -166,6 +174,7 @@ unsafe extern "C" fn stream_close<T: InputStreamImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<InputStream>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -193,6 +202,7 @@ unsafe extern "C" fn stream_skip<T: InputStreamImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> isize
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<InputStream>,
 {
     debug_assert!(count <= isize::MAX as usize);
diff --git a/gio/src/subclass/io_stream.rs b/gio/src/subclass/io_stream.rs
index fed6b9aeb6ca..193ab49a979e 100644
--- a/gio/src/subclass/io_stream.rs
+++ b/gio/src/subclass/io_stream.rs
@@ -8,6 +8,7 @@ use crate::{ffi, Cancellable, IOStream, InputStream, OutputStream};
 
 pub trait IOStreamImpl: ObjectImpl + Send
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<IOStream>,
 {
     fn input_stream(&self) -> InputStream {
@@ -25,6 +26,7 @@ where
 
 pub trait IOStreamImplExt: ObjectSubclass + IOStreamImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<IOStream>,
 {
     fn parent_input_stream(&self) -> InputStream {
@@ -71,10 +73,16 @@ where
     }
 }
 
-impl<T: IOStreamImpl> IOStreamImplExt for T where <T as ObjectSubclass>::Type: IsA<IOStream> {}
+impl<T: IOStreamImpl> IOStreamImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<IOStream>,
+{
+}
 
 unsafe impl<T: IOStreamImpl> IsSubclassable<T> for IOStream
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<IOStream>,
 {
     fn class_init(class: &mut ::glib::Class<Self>) {
@@ -91,6 +99,7 @@ unsafe extern "C" fn stream_get_input_stream<T: IOStreamImpl>(
     ptr: *mut ffi::GIOStream,
 ) -> *mut ffi::GInputStream
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<IOStream>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -121,6 +130,7 @@ unsafe extern "C" fn stream_get_output_stream<T: IOStreamImpl>(
     ptr: *mut ffi::GIOStream,
 ) -> *mut ffi::GOutputStream
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<IOStream>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -153,6 +163,7 @@ unsafe extern "C" fn stream_close<T: IOStreamImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<IOStream>,
 {
     let instance = &*(ptr as *mut T::Instance);
diff --git a/gio/src/subclass/list_model.rs b/gio/src/subclass/list_model.rs
index 8223739d7a6e..ebe0d4b7f9f5 100644
--- a/gio/src/subclass/list_model.rs
+++ b/gio/src/subclass/list_model.rs
@@ -8,6 +8,7 @@ use crate::{ffi, ListModel};
 
 pub trait ListModelImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<ListModel>,
 {
     #[doc(alias = "get_item_type")]
@@ -20,6 +21,7 @@ where
 
 pub trait ListModelImplExt: ObjectSubclass + ListModelImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<ListModel>,
 {
     fn parent_item_type(&self) -> glib::Type {
@@ -67,10 +69,16 @@ where
     }
 }
 
-impl<T: ListModelImpl> ListModelImplExt for T where <T as ObjectSubclass>::Type: IsA<ListModel> {}
+impl<T: ListModelImpl> ListModelImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<ListModel>,
+{
+}
 
 unsafe impl<T: ListModelImpl> IsImplementable<T> for ListModel
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ListModel>,
 {
     fn interface_init(iface: &mut glib::Interface<Self>) {
@@ -86,6 +94,7 @@ unsafe extern "C" fn list_model_get_item_type<T: ListModelImpl>(
     list_model: *mut ffi::GListModel,
 ) -> glib::ffi::GType
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ListModel>,
 {
     let instance = &*(list_model as *mut T::Instance);
@@ -118,6 +127,7 @@ unsafe extern "C" fn list_model_get_n_items<T: ListModelImpl>(
     list_model: *mut ffi::GListModel,
 ) -> u32
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ListModel>,
 {
     let instance = &*(list_model as *mut T::Instance);
@@ -131,6 +141,7 @@ unsafe extern "C" fn list_model_get_item<T: ListModelImpl>(
     position: u32,
 ) -> *mut glib::gobject_ffi::GObject
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<ListModel>,
 {
     let instance = &*(list_model as *mut T::Instance);
diff --git a/gio/src/subclass/output_stream.rs b/gio/src/subclass/output_stream.rs
index e3836fad748d..11e1de18b707 100644
--- a/gio/src/subclass/output_stream.rs
+++ b/gio/src/subclass/output_stream.rs
@@ -8,6 +8,7 @@ use crate::{ffi, Cancellable, InputStream, OutputStream, OutputStreamSpliceFlags
 
 pub trait OutputStreamImpl: ObjectImpl + Send
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<OutputStream>,
 {
     fn write(&self, buffer: &[u8], cancellable: Option<&Cancellable>) -> Result<usize, Error> {
@@ -34,6 +35,7 @@ where
 
 pub trait OutputStreamImplExt: ObjectSubclass + OutputStreamImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<OutputStream>,
 {
     fn parent_write(
@@ -151,13 +153,16 @@ where
     }
 }
 
-impl<T: OutputStreamImpl> OutputStreamImplExt for T where
-    <T as ObjectSubclass>::Type: IsA<OutputStream>
+impl<T: OutputStreamImpl> OutputStreamImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<OutputStream>,
 {
 }
 
 unsafe impl<T: OutputStreamImpl> IsSubclassable<T> for OutputStream
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<OutputStream>,
 {
     fn class_init(class: &mut ::glib::Class<Self>) {
@@ -179,6 +184,7 @@ unsafe extern "C" fn stream_write<T: OutputStreamImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> isize
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<OutputStream>,
 {
     debug_assert!(count <= isize::MAX as usize);
@@ -216,6 +222,7 @@ unsafe extern "C" fn stream_close<T: OutputStreamImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<OutputStream>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -242,6 +249,7 @@ unsafe extern "C" fn stream_flush<T: OutputStreamImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<OutputStream>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -270,6 +278,7 @@ unsafe extern "C" fn stream_splice<T: OutputStreamImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> isize
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<OutputStream>,
 {
     let instance = &*(ptr as *mut T::Instance);
diff --git a/gio/src/subclass/seekable.rs b/gio/src/subclass/seekable.rs
index dd8a70f2ddeb..d713e20302c0 100644
--- a/gio/src/subclass/seekable.rs
+++ b/gio/src/subclass/seekable.rs
@@ -8,6 +8,7 @@ use crate::{ffi, Cancellable, Seekable};
 
 pub trait SeekableImpl: ObjectImpl + Send
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<Seekable>,
 {
     fn tell(&self) -> i64;
@@ -24,6 +25,7 @@ where
 
 pub trait SeekableImplExt: ObjectSubclass + SeekableImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<Seekable>,
 {
     fn parent_tell(&self) -> i64 {
@@ -126,10 +128,16 @@ where
     }
 }
 
-impl<T: SeekableImpl> SeekableImplExt for T where <T as ObjectSubclass>::Type: IsA<Seekable> {}
+impl<T: SeekableImpl> SeekableImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<Seekable>,
+{
+}
 
 unsafe impl<T: SeekableImpl> IsImplementable<T> for Seekable
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Seekable>,
 {
     fn interface_init(iface: &mut glib::Interface<Self>) {
@@ -145,6 +153,7 @@ where
 
 unsafe extern "C" fn seekable_tell<T: SeekableImpl>(seekable: *mut ffi::GSeekable) -> i64
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Seekable>,
 {
     let instance = &*(seekable as *mut T::Instance);
@@ -157,6 +166,7 @@ unsafe extern "C" fn seekable_can_seek<T: SeekableImpl>(
     seekable: *mut ffi::GSeekable,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Seekable>,
 {
     let instance = &*(seekable as *mut T::Instance);
@@ -173,6 +183,7 @@ unsafe extern "C" fn seekable_seek<T: SeekableImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Seekable>,
 {
     let instance = &*(seekable as *mut T::Instance);
@@ -199,6 +210,7 @@ unsafe extern "C" fn seekable_can_truncate<T: SeekableImpl>(
     seekable: *mut ffi::GSeekable,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Seekable>,
 {
     let instance = &*(seekable as *mut T::Instance);
@@ -214,6 +226,7 @@ unsafe extern "C" fn seekable_truncate<T: SeekableImpl>(
     err: *mut *mut glib::ffi::GError,
 ) -> glib::ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<Seekable>,
 {
     let instance = &*(seekable as *mut T::Instance);
diff --git a/gio/src/subclass/socket_control_message.rs b/gio/src/subclass/socket_control_message.rs
index 6eed7637fb7a..230604e08a47 100644
--- a/gio/src/subclass/socket_control_message.rs
+++ b/gio/src/subclass/socket_control_message.rs
@@ -6,6 +6,7 @@ use crate::{ffi, SocketControlMessage};
 
 pub trait SocketControlMessageImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<SocketControlMessage>,
 {
     fn level(&self) -> i32 {
@@ -31,6 +32,7 @@ where
 
 pub trait SocketControlMessageImplExt: ObjectSubclass + SocketControlMessageImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<glib::Object>,
     <Self as ObjectSubclass>::Type: IsA<SocketControlMessage>,
 {
     fn parent_level(&self) -> i32 {
@@ -114,13 +116,16 @@ where
     }
 }
 
-impl<T: SocketControlMessageImpl> SocketControlMessageImplExt for T where
-    <T as ObjectSubclass>::Type: IsA<SocketControlMessage>
+impl<T: SocketControlMessageImpl> SocketControlMessageImplExt for T
+where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
+    <T as ObjectSubclass>::Type: IsA<SocketControlMessage>,
 {
 }
 
 unsafe impl<T: SocketControlMessageImpl> IsSubclassable<T> for SocketControlMessage
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<SocketControlMessage>,
 {
     fn class_init(class: &mut ::glib::Class<Self>) {
@@ -139,6 +144,7 @@ unsafe extern "C" fn socket_control_message_get_level<T: SocketControlMessageImp
     ptr: *mut ffi::GSocketControlMessage,
 ) -> i32
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<SocketControlMessage>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -151,6 +157,7 @@ unsafe extern "C" fn socket_control_message_get_type<T: SocketControlMessageImpl
     ptr: *mut ffi::GSocketControlMessage,
 ) -> i32
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<SocketControlMessage>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -163,6 +170,7 @@ unsafe extern "C" fn socket_control_message_get_size<T: SocketControlMessageImpl
     ptr: *mut ffi::GSocketControlMessage,
 ) -> usize
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<SocketControlMessage>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -175,6 +183,7 @@ unsafe extern "C" fn socket_control_message_serialize<T: SocketControlMessageImp
     ptr: *mut ffi::GSocketControlMessage,
     data: glib::ffi::gpointer,
 ) where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<SocketControlMessage>,
 {
     let instance = &*(ptr as *mut T::Instance);
@@ -192,6 +201,7 @@ unsafe extern "C" fn socket_control_message_deserialize<T: SocketControlMessageI
     data: glib::ffi::gpointer,
 ) -> *mut ffi::GSocketControlMessage
 where
+    <T as ObjectSubclass>::Type: IsA<glib::Object>,
     <T as ObjectSubclass>::Type: IsA<SocketControlMessage>,
 {
     let data = std::slice::from_raw_parts(data as *mut u8, size);
diff --git a/glib-macros/tests/object_subclass_dynamic.rs b/glib-macros/tests/object_subclass_dynamic.rs
index 31ad917d215c..2b5a0bae9d8c 100644
--- a/glib-macros/tests/object_subclass_dynamic.rs
+++ b/glib-macros/tests/object_subclass_dynamic.rs
@@ -28,7 +28,12 @@ mod static_ {
             type Interface = MyStaticInterfaceClass;
         }
 
-        pub trait MyStaticInterfaceImpl: ObjectImpl + ObjectSubclass {}
+        pub trait MyStaticInterfaceImpl: ObjectImpl + ObjectSubclass
+        where
+            <Self as ObjectSubclass>::Type: IsA<glib::Object>,
+            <Self as ObjectSubclass>::Type: IsA<super::MyStaticInterface>,
+        {
+        }
 
         // impl for an object subclass to register as a static type and that implements `MyStaticInterface`.
         #[derive(Default)]
@@ -45,7 +50,12 @@ mod static_ {
 
         impl MyStaticInterfaceImpl for MyStaticType {}
 
-        pub trait MyStaticTypeImpl: ObjectImpl + ObjectSubclass {}
+        pub trait MyStaticTypeImpl: ObjectImpl + ObjectSubclass
+        where
+            <Self as ObjectSubclass>::Type: IsA<glib::Object>,
+            <Self as ObjectSubclass>::Type: IsA<super::MyStaticType>,
+        {
+        }
     }
 
     // an object interface to register as a static type.
@@ -53,14 +63,24 @@ mod static_ {
         pub struct MyStaticInterface(ObjectInterface<imp::MyStaticInterface>);
     }
 
-    unsafe impl<T: imp::MyStaticInterfaceImpl> IsImplementable<T> for MyStaticInterface {}
+    unsafe impl<T: imp::MyStaticInterfaceImpl> IsImplementable<T> for MyStaticInterface
+    where
+        <T as ObjectSubclass>::Type: IsA<glib::Object>,
+        <T as ObjectSubclass>::Type: IsA<MyStaticInterface>,
+    {
+    }
 
     // an object subclass to register as a static type and that implements `MyStaticInterface`.
     glib::wrapper! {
         pub struct MyStaticType(ObjectSubclass<imp::MyStaticType>) @implements MyStaticInterface;
     }
 
-    unsafe impl<T: imp::MyStaticTypeImpl> IsSubclassable<T> for MyStaticType {}
+    unsafe impl<T: imp::MyStaticTypeImpl> IsSubclassable<T> for MyStaticType
+    where
+        <T as ObjectSubclass>::Type: IsA<glib::Object>,
+        <T as ObjectSubclass>::Type: IsA<MyStaticType>,
+    {
+    }
 }
 
 use static_::{
@@ -95,7 +115,11 @@ mod module {
             type Interface = MyModuleInterfaceClass;
         }
 
-        pub trait MyModuleInterfaceImpl: ObjectImpl + ObjectSubclass {}
+        pub trait MyModuleInterfaceImpl: ObjectImpl + ObjectSubclass
+        where
+            <Self as ObjectSubclass>::Type: IsA<glib::Object>,
+        {
+        }
 
         // impl for an object subclass to register as a dynamic type and that extends `MyStaticType` and that implements `MyStaticInterface` and `MyModuleInterface`.
         #[derive(Default)]
@@ -139,7 +163,12 @@ mod module {
             type Interface = MyModuleInterfaceLazyClass;
         }
 
-        pub trait MyModuleInterfaceLazyImpl: ObjectImpl + ObjectSubclass {}
+        pub trait MyModuleInterfaceLazyImpl: ObjectImpl + ObjectSubclass
+        where
+            <Self as ObjectSubclass>::Type: IsA<glib::Object>,
+            <Self as ObjectSubclass>::Type: IsA<super::MyModuleInterfaceLazy>,
+        {
+        }
 
         // impl for an object subclass to lazy register as a dynamic type and that extends `MyStaticType` and that implements `MyStaticInterface` and `MyModuleInterfaceLazy`.
         #[derive(Default)]
@@ -206,7 +235,12 @@ mod module {
         pub struct MyModuleInterface(ObjectInterface<imp::MyModuleInterface>) @requires MyStaticInterface;
     }
 
-    unsafe impl<T: imp::MyModuleInterfaceImpl> IsImplementable<T> for MyModuleInterface {}
+    unsafe impl<T: imp::MyModuleInterfaceImpl> IsImplementable<T> for MyModuleInterface
+    where
+        <T as ObjectSubclass>::Type: IsA<glib::Object>,
+        <T as ObjectSubclass>::Type: IsA<MyModuleInterface>,
+    {
+    }
 
     // an object subclass to register as a dynamic type and that extends `MyStaticType` and that implements `MyStaticInterface` and `MyModuleInterface`.
     glib::wrapper! {
@@ -218,7 +252,12 @@ mod module {
         pub struct MyModuleInterfaceLazy(ObjectInterface<imp::MyModuleInterfaceLazy>) @requires MyStaticInterface;
     }
 
-    unsafe impl<T: imp::MyModuleInterfaceLazyImpl> IsImplementable<T> for MyModuleInterfaceLazy {}
+    unsafe impl<T: imp::MyModuleInterfaceLazyImpl> IsImplementable<T> for MyModuleInterfaceLazy
+    where
+        <T as ObjectSubclass>::Type: IsA<glib::Object>,
+        <T as ObjectSubclass>::Type: IsA<MyModuleInterfaceLazy>,
+    {
+    }
 
     // an object subclass to lazy register as a dynamic type and that extends `MyStaticType` that implements `MyStaticInterface` and `MyModuleInterfaceLazy`.
     glib::wrapper! {
@@ -335,7 +374,12 @@ pub mod plugin {
             type Interface = MyPluginInterfaceClass;
         }
 
-        pub trait MyPluginInterfaceImpl: ObjectImpl + ObjectSubclass {}
+        pub trait MyPluginInterfaceImpl: ObjectImpl + ObjectSubclass
+        where
+            <Self as ObjectSubclass>::Type: IsA<glib::Object>,
+            <Self as ObjectSubclass>::Type: IsA<super::MyPluginInterface>,
+        {
+        }
 
         // impl for an object subclass to register as a dynamic type and that extends `MyStaticType` and that implements `MyStaticInterface` and `MyPluginInterface`.
         #[derive(Default)]
@@ -379,7 +423,12 @@ pub mod plugin {
             type Interface = MyPluginInterfaceLazyClass;
         }
 
-        pub trait MyPluginInterfaceLazyImpl: ObjectImpl + ObjectSubclass {}
+        pub trait MyPluginInterfaceLazyImpl: ObjectImpl + ObjectSubclass
+        where
+            <Self as ObjectSubclass>::Type: IsA<glib::Object>,
+            <Self as ObjectSubclass>::Type: IsA<super::MyPluginInterfaceLazy>,
+        {
+        }
 
         // impl for an object subclass to lazy register as a dynamic type and that extends `MyStaticType` and that implements `MyStaticInterface` and `MyPluginInterfaceLazy`.
         #[derive(Default)]
@@ -400,7 +449,10 @@ pub mod plugin {
 
         impl MyStaticInterfaceImpl for MyPluginTypeLazy {}
 
-        impl MyPluginInterfaceLazyImpl for MyPluginTypeLazy {}
+        impl MyPluginInterfaceLazyImpl for MyPluginTypeLazy where
+            <Self as ObjectSubclass>::Type: IsA<super::MyPluginInterfaceLazy>
+        {
+        }
 
         // impl for a type plugin (must implement `glib::TypePlugin`).
         #[derive(Default)]
@@ -549,11 +601,16 @@ pub mod plugin {
         pub struct MyPluginInterface(ObjectInterface<imp::MyPluginInterface>) @requires MyStaticInterface;
     }
 
-    unsafe impl<T: imp::MyPluginInterfaceImpl> IsImplementable<T> for MyPluginInterface {}
+    unsafe impl<T: imp::MyPluginInterfaceImpl> IsImplementable<T> for MyPluginInterface
+    where
+        <T as ObjectSubclass>::Type: IsA<glib::Object>,
+        <T as ObjectSubclass>::Type: IsA<MyPluginInterface>,
+    {
+    }
 
     // an object subclass to register as a dynamic type and that extends `MyStaticType` and that implements `MyStaticInterface` and `MyPluginInterface`.
     glib::wrapper! {
-        pub struct MyPluginType(ObjectSubclass<imp::MyPluginType>) @implements MyPluginInterface;
+        pub struct MyPluginType(ObjectSubclass<imp::MyPluginType>) @extends MyStaticType, @implements MyPluginInterface, MyStaticInterface;
     }
 
     // an object interface to lazy register as a dynamic type and that extends `MyStaticInterface`.
@@ -561,11 +618,16 @@ pub mod plugin {
         pub struct MyPluginInterfaceLazy(ObjectInterface<imp::MyPluginInterfaceLazy>) @requires MyStaticInterface;
     }
 
-    unsafe impl<T: imp::MyPluginInterfaceLazyImpl> IsImplementable<T> for MyPluginInterfaceLazy {}
+    unsafe impl<T: imp::MyPluginInterfaceLazyImpl> IsImplementable<T> for MyPluginInterfaceLazy
+    where
+        <T as ObjectSubclass>::Type: IsA<glib::Object>,
+        <T as ObjectSubclass>::Type: IsA<MyPluginInterfaceLazy>,
+    {
+    }
 
     // an object subclass to lazy register as a dynamic type and that extends `MyStaticType` that implements `MyStaticInterface` and `MyPluginInterfaceLazy`.
     glib::wrapper! {
-        pub struct MyPluginTypeLazy(ObjectSubclass<imp::MyPluginTypeLazy>) @implements MyPluginInterfaceLazy;
+        pub struct MyPluginTypeLazy(ObjectSubclass<imp::MyPluginTypeLazy>) @extends MyStaticType, @implements MyPluginInterfaceLazy, MyStaticInterface;
     }
 
     // a plugin (must implement `glib::TypePlugin`).
diff --git a/glib-macros/tests/properties.rs b/glib-macros/tests/properties.rs
index e4ca1da704bd..80d5fb43e913 100644
--- a/glib-macros/tests/properties.rs
+++ b/glib-macros/tests/properties.rs
@@ -42,7 +42,10 @@ mod base {
         pub struct Base(ObjectSubclass<imp::Base>);
     }
 
-    unsafe impl<T: ObjectImpl> IsSubclassable<T> for Base {}
+    unsafe impl<T: ObjectImpl> IsSubclassable<T> for Base where
+        <T as ObjectSubclass>::Type: IsA<glib::Object>
+    {
+    }
 }
 
 #[cfg(test)]
diff --git a/glib/src/gobject/dynamic_object.rs b/glib/src/gobject/dynamic_object.rs
index 8736aa8ec580..36648b5af720 100644
--- a/glib/src/gobject/dynamic_object.rs
+++ b/glib/src/gobject/dynamic_object.rs
@@ -4,7 +4,7 @@ use crate::{
     enums::{EnumValues, FlagsValues},
     prelude::*,
     subclass::prelude::*,
-    InterfaceInfo, TypeFlags, TypeInfo, TypeModule, TypePlugin,
+    InterfaceInfo, Object, TypeFlags, TypeInfo, TypeModule, TypePlugin,
 };
 
 mod sealed {
@@ -44,6 +44,7 @@ pub trait DynamicObjectRegisterExt: AsRef<TypePlugin> + sealed::Sealed + 'static
 impl<O: IsA<TypePlugin> + ObjectSubclassIsExt> DynamicObjectRegisterExt for O
 where
     O::Subclass: TypePluginRegisterImpl,
+    <O::Subclass as ObjectSubclass>::Type: IsA<Object>,
     <O::Subclass as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     fn add_dynamic_interface(
diff --git a/glib/src/subclass/object.rs b/glib/src/subclass/object.rs
index fc4b42b6cff7..95f2cbf5f258 100644
--- a/glib/src/subclass/object.rs
+++ b/glib/src/subclass/object.rs
@@ -19,7 +19,10 @@ use crate::{
 ///
 /// This allows overriding the virtual methods of `glib::Object`. Except for
 /// `finalize` as implementing `Drop` would allow the same behavior.
-pub trait ObjectImpl: ObjectSubclass {
+pub trait ObjectImpl: ObjectSubclass
+where
+    <Self as ObjectSubclass>::Type: IsA<Object>,
+{
     // rustdoc-stripper-ignore-next
     /// Properties installed for this type.
     fn properties() -> &'static [ParamSpec] {
@@ -92,7 +95,9 @@ unsafe extern "C" fn property<T: ObjectImpl>(
     id: u32,
     value: *mut gobject_ffi::GValue,
     pspec: *mut gobject_ffi::GParamSpec,
-) {
+) where
+    <T as ObjectSubclass>::Type: IsA<Object>,
+{
     let instance = &*(obj as *mut T::Instance);
     let imp = instance.imp();
 
@@ -116,7 +121,9 @@ unsafe extern "C" fn set_property<T: ObjectImpl>(
     id: u32,
     value: *mut gobject_ffi::GValue,
     pspec: *mut gobject_ffi::GParamSpec,
-) {
+) where
+    <T as ObjectSubclass>::Type: IsA<Object>,
+{
     let instance = &*(obj as *mut T::Instance);
     let imp = instance.imp();
     imp.set_property(
@@ -126,7 +133,10 @@ unsafe extern "C" fn set_property<T: ObjectImpl>(
     );
 }
 
-unsafe extern "C" fn constructed<T: ObjectImpl>(obj: *mut gobject_ffi::GObject) {
+unsafe extern "C" fn constructed<T: ObjectImpl>(obj: *mut gobject_ffi::GObject)
+where
+    <T as ObjectSubclass>::Type: IsA<Object>,
+{
     let instance = &*(obj as *mut T::Instance);
     let imp = instance.imp();
 
@@ -136,7 +146,9 @@ unsafe extern "C" fn constructed<T: ObjectImpl>(obj: *mut gobject_ffi::GObject)
 unsafe extern "C" fn notify<T: ObjectImpl>(
     obj: *mut gobject_ffi::GObject,
     pspec: *mut gobject_ffi::GParamSpec,
-) {
+) where
+    <T as ObjectSubclass>::Type: IsA<Object>,
+{
     let instance = &*(obj as *mut T::Instance);
     let imp = instance.imp();
     imp.notify(&from_glib_borrow(pspec));
@@ -146,13 +158,18 @@ unsafe extern "C" fn dispatch_properties_changed<T: ObjectImpl>(
     obj: *mut gobject_ffi::GObject,
     n_pspecs: u32,
     pspecs: *mut *mut gobject_ffi::GParamSpec,
-) {
+) where
+    <T as ObjectSubclass>::Type: IsA<Object>,
+{
     let instance = &*(obj as *mut T::Instance);
     let imp = instance.imp();
     imp.dispatch_properties_changed(Slice::from_glib_borrow_num(pspecs, n_pspecs as _));
 }
 
-unsafe extern "C" fn dispose<T: ObjectImpl>(obj: *mut gobject_ffi::GObject) {
+unsafe extern "C" fn dispose<T: ObjectImpl>(obj: *mut gobject_ffi::GObject)
+where
+    <T as ObjectSubclass>::Type: IsA<Object>,
+{
     let instance = &*(obj as *mut T::Instance);
     let imp = instance.imp();
 
@@ -213,7 +230,10 @@ pub unsafe trait ObjectClassSubclassExt: Sized + 'static {
 
 unsafe impl ObjectClassSubclassExt for crate::Class<Object> {}
 
-unsafe impl<T: ObjectImpl> IsSubclassable<T> for Object {
+unsafe impl<T: ObjectImpl> IsSubclassable<T> for Object
+where
+    <T as ObjectSubclass>::Type: IsA<Object>,
+{
     fn class_init(class: &mut crate::Class<Self>) {
         let klass = class.as_mut();
         klass.set_property = Some(set_property::<T>);
@@ -253,7 +273,10 @@ unsafe impl<T: ObjectImpl> IsSubclassable<T> for Object {
     fn instance_init(_instance: &mut super::InitializingObject<T>) {}
 }
 
-pub trait ObjectImplExt: ObjectSubclass + ObjectImpl {
+pub trait ObjectImplExt: ObjectSubclass + ObjectImpl
+where
+    <Self as ObjectSubclass>::Type: IsA<Object>,
+{
     // rustdoc-stripper-ignore-next
     /// Chain up to the parent class' implementation of `glib::Object::constructed()`.
     #[inline]
@@ -316,7 +339,7 @@ pub trait ObjectImplExt: ObjectSubclass + ObjectImpl {
     }
 }
 
-impl<T: ObjectImpl> ObjectImplExt for T {}
+impl<T: ObjectImpl> ObjectImplExt for T where <T as ObjectSubclass>::Type: IsA<Object> {}
 
 #[cfg(test)]
 mod test {
diff --git a/glib/src/subclass/type_module.rs b/glib/src/subclass/type_module.rs
index cd78adade1ab..7382957df4ab 100644
--- a/glib/src/subclass/type_module.rs
+++ b/glib/src/subclass/type_module.rs
@@ -1,9 +1,10 @@
 // Take a look at the license at the top of the repository in the LICENSE file.
 
-use crate::{ffi, gobject_ffi, prelude::*, subclass::prelude::*, translate::*, TypeModule};
+use crate::{ffi, gobject_ffi, prelude::*, subclass::prelude::*, translate::*, Object, TypeModule};
 
 pub trait TypeModuleImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<Object>,
     <Self as ObjectSubclass>::Type: IsA<TypeModule>,
 {
     // rustdoc-stripper-ignore-next
@@ -26,6 +27,7 @@ where
 
 pub trait TypeModuleImplExt: ObjectSubclass + TypeModuleImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<Object>,
     <Self as ObjectSubclass>::Type: IsA<TypeModule>,
 {
     fn parent_load(&self) -> bool;
@@ -34,6 +36,7 @@ where
 
 impl<T: TypeModuleImpl> TypeModuleImplExt for T
 where
+    <Self as ObjectSubclass>::Type: IsA<Object>,
     <Self as ObjectSubclass>::Type: IsA<TypeModule>,
 {
     fn parent_load(&self) -> bool {
@@ -69,6 +72,7 @@ where
 
 unsafe impl<T: TypeModuleImpl> IsSubclassable<T> for TypeModule
 where
+    <T as ObjectSubclass>::Type: IsA<Object>,
     <T as ObjectSubclass>::Type: IsA<TypeModule>,
 {
     fn class_init(class: &mut crate::Class<Self>) {
@@ -84,6 +88,7 @@ unsafe extern "C" fn load<T: TypeModuleImpl>(
     type_module: *mut gobject_ffi::GTypeModule,
 ) -> ffi::gboolean
 where
+    <T as ObjectSubclass>::Type: IsA<Object>,
     <T as ObjectSubclass>::Type: IsA<TypeModule>,
 {
     let instance = &*(type_module as *mut T::Instance);
@@ -107,6 +112,7 @@ where
 
 unsafe extern "C" fn unload<T: TypeModuleImpl>(type_module: *mut gobject_ffi::GTypeModule)
 where
+    <T as ObjectSubclass>::Type: IsA<Object>,
     <T as ObjectSubclass>::Type: IsA<TypeModule>,
 {
     let instance = &*(type_module as *mut T::Instance);
diff --git a/glib/src/subclass/type_plugin.rs b/glib/src/subclass/type_plugin.rs
index 9e8ab6908b0a..04fd1bb4035d 100644
--- a/glib/src/subclass/type_plugin.rs
+++ b/glib/src/subclass/type_plugin.rs
@@ -3,11 +3,12 @@
 use crate::enums::{EnumValues, FlagsValues};
 use crate::{
     ffi, gobject_ffi, prelude::*, subclass::prelude::*, translate::*, Interface, InterfaceInfo,
-    Type, TypeFlags, TypeInfo, TypePlugin, TypeValueTable,
+    Object, Type, TypeFlags, TypeInfo, TypePlugin, TypeValueTable,
 };
 
 pub trait TypePluginImpl: ObjectImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<Object>,
     <Self as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     fn use_plugin(&self) {
@@ -29,6 +30,7 @@ where
 
 pub trait TypePluginImplExt: ObjectSubclass + TypePluginImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<Object>,
     <Self as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     fn parent_use_plugin(&self);
@@ -43,6 +45,7 @@ where
 
 impl<T: TypePluginImpl> TypePluginImplExt for T
 where
+    <Self as ObjectSubclass>::Type: IsA<Object>,
     <Self as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     fn parent_use_plugin(&self) {
@@ -124,6 +127,7 @@ where
 
 unsafe impl<T: TypePluginImpl> IsImplementable<T> for TypePlugin
 where
+    <T as ObjectSubclass>::Type: IsA<Object>,
     <T as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     fn interface_init(iface: &mut Interface<Self>) {
@@ -138,6 +142,7 @@ where
 
 unsafe extern "C" fn use_plugin<T: TypePluginImpl>(type_plugin: *mut gobject_ffi::GTypePlugin)
 where
+    <T as ObjectSubclass>::Type: IsA<Object>,
     <T as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     let instance = &*(type_plugin as *mut T::Instance);
@@ -148,6 +153,7 @@ where
 
 unsafe extern "C" fn unuse_plugin<T: TypePluginImpl>(type_plugin: *mut gobject_ffi::GTypePlugin)
 where
+    <T as ObjectSubclass>::Type: IsA<Object>,
     <T as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     let instance = &*(type_plugin as *mut T::Instance);
@@ -162,6 +168,7 @@ unsafe extern "C" fn complete_type_info<T: TypePluginImpl>(
     info_ptr: *mut gobject_ffi::GTypeInfo,
     value_table_ptr: *mut gobject_ffi::GTypeValueTable,
 ) where
+    <T as ObjectSubclass>::Type: IsA<Object>,
     <T as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     assert!(!info_ptr.is_null());
@@ -184,6 +191,7 @@ unsafe extern "C" fn complete_interface_info<T: TypePluginImpl>(
     interface_gtype: ffi::GType,
     info_ptr: *mut gobject_ffi::GInterfaceInfo,
 ) where
+    <T as ObjectSubclass>::Type: IsA<Object>,
     <T as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     assert!(!info_ptr.is_null());
@@ -199,6 +207,7 @@ unsafe extern "C" fn complete_interface_info<T: TypePluginImpl>(
 
 pub trait TypePluginRegisterImpl: ObjectImpl + TypePluginImpl
 where
+    <Self as ObjectSubclass>::Type: IsA<Object>,
     <Self as ObjectSubclass>::Type: IsA<TypePlugin>,
 {
     fn add_dynamic_interface(