Support resolving non-trivial bounds from parent generic contexts

diff --git a/c-bindings-gen/src/types.rs b/c-bindings-gen/src/types.rs
index 14fd918e2be81cb267a01f08f18206bf0bbd1b7b..9f4d6a039569560620380c00e1625910250cf8df 100644 (file)
--- a/c-bindings-gen/src/types.rs
+++ b/c-bindings-gen/src/types.rs
@@ -371,8 +371,8 @@ impl<'a, 'b, 'c: 'a + 'b> ResolveType<'c> for Option<&GenericTypes<'a, 'b>> {
                                }
                                _ => {},
                        }
-               }
-               ty
+                       us.parent.resolve_type(ty)
+               } else { ty }
        }
 }