Make sure structs/unions that have non-unpin fields don't implement Copy
In the current code, Record::is_unpin() is defined as
self.is_trivial_abi && !self.is_inheritable
but doesn't look into the Record's fields recursively. Therefore
for the following code
struct TrivialButInheritable {
int x;
};
struct StructWithInheritable final {
TrivialButInheritable t;
};
This makes StructWithInheritable implement Copy while TrivialButInheritable does not,
and therefore results in a compile error.
This change adds .is_inheritable field to the Field struct, and check the
field recursively when Record::is_unpin() is called.
PiperOrigin-RevId: 466962560
diff --git a/rs_bindings_from_cc/ir.h b/rs_bindings_from_cc/ir.h
index c10ab51..32b7cb0 100644
--- a/rs_bindings_from_cc/ir.h
+++ b/rs_bindings_from_cc/ir.h
@@ -497,6 +497,7 @@
uint64_t size; // Field size in bits.
bool is_no_unique_address; // True if the field is [[no_unique_address]].
bool is_bitfield; // True if the field is a bitfield.
+ bool is_inheritable; // True if the field is inheritable.
};
inline std::ostream& operator<<(std::ostream& o, const Field& f) {
