diff options
Diffstat (limited to 'src/analysis/lattices/inverted.h')
| -rw-r--r-- | src/analysis/lattices/inverted.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/analysis/lattices/inverted.h b/src/analysis/lattices/inverted.h index 57f708421..92b965323 100644 --- a/src/analysis/lattices/inverted.h +++ b/src/analysis/lattices/inverted.h @@ -20,6 +20,7 @@ #include <utility> #include "../lattice.h" +#include "bool.h" namespace wasm::analysis { @@ -44,6 +45,10 @@ template<FullLattice L> struct Inverted { } }; +#if __cplusplus >= 202002L +static_assert(Lattice<Inverted<Bool>>); +#endif + } // namespace wasm::analysis #endif // wasm_analysis_lattices_inverted_h |