Check for non-Copy using RecordDerivesCopy

lucic71 · lucic71 · commit 3fee2722cbab · 2026-06-12T16:09:07.000+01:00
diff --git a/cpp2rust/converter/converter.cpp b/cpp2rust/converter/converter.cpp
@@ -3312,7 +3312,7 @@ std::string Converter::GetArrayDefaultAsString(clang::QualType qual_type) {
     auto element_type = array_type->getElementType();
     auto element_type_as_string = GetDefaultAsString(element_type);
     if (auto *rec = element_type->getAsRecordDecl()) {
-      if (ctx_.getSourceManager().isInSystemHeader(rec->getLocation())) {
+      if (!RecordDerivesCopy(rec)) {
         return std::format("std::array::from_fn::<_, {}, _>(|_| {})",
                            size_as_string.c_str(), element_type_as_string);
       }

Original file line number	Diff line number	Diff line change
`@@ -3312,7 +3312,7 @@ std::string Converter::GetArrayDefaultAsString(clang::QualType qual_type) {`
`3312`	`3312`	`auto element_type = array_type->getElementType();`
`3313`	`3313`	`auto element_type_as_string = GetDefaultAsString(element_type);`
`3314`	`3314`	`if (auto *rec = element_type->getAsRecordDecl()) {`
`3315`		`- if (ctx_.getSourceManager().isInSystemHeader(rec->getLocation())) {`
	`3315`	`+ if (!RecordDerivesCopy(rec)) {`
`3316`	`3316`	`return std::format("std::array::from_fn::<_, {}, _>(\|_\| {})",`
`3317`	`3317`	`size_as_string.c_str(), element_type_as_string);`
`3318`	`3318`	`}`