diff --git a/common/kernel/nextpnr_types.cc b/common/kernel/nextpnr_types.cc
index 6da37763..d867ed0e 100644
--- a/common/kernel/nextpnr_types.cc
+++ b/common/kernel/nextpnr_types.cc
@@ -23,8 +23,15 @@
 
 #include "nextpnr_namespaces.h"
 
+#include <type_traits>
+
 NEXTPNR_NAMESPACE_BEGIN
 
+// Invariant: architecture ID types must all be trivially copyable
+static_assert(std::is_trivially_copyable<BelId>::value == true);
+static_assert(std::is_trivially_copyable<WireId>::value == true);
+static_assert(std::is_trivially_copyable<PipId>::value == true);
+
 void CellInfo::addInput(IdString name)
 {
     ports[name].name = name;