diff --git a/kernel/utils.h b/kernel/utils.h index 1d6c038fd..e71fb4911 100644 --- a/kernel/utils.h +++ b/kernel/utils.h @@ -131,6 +131,8 @@ public: template > class TopoSort { + static_assert(!(std::is_pointer::value && std::is_same>::value), + "std::less is run-to-run unstable for pointers"); public: // We use this ordering of the edges in the adjacency matrix for // exact compatibility with an older implementation.