5 files changed, 15 insertions, 0 deletions
diff --git a/src/analysis/lattices/inverted.h b/src/analysis/lattices/inverted.h
index 22e326742..b70e58968 100644
--- a/src/analysis/lattices/inverted.h
+++ b/src/analysis/lattices/inverted.h
@@ -49,6 +49,9 @@ template<FullLattice L> struct Inverted {
   }
 };
 
+// Deduction guide.
+template<typename L> Inverted(L&&) -> Inverted<L>;
+
 #if __cplusplus >= 202002L
 static_assert(Lattice<Inverted<Bool>>);
 #endif
diff --git a/src/analysis/lattices/lift.h b/src/analysis/lattices/lift.h
index ba711ac65..ec0f57967 100644
--- a/src/analysis/lattices/lift.h
+++ b/src/analysis/lattices/lift.h
@@ -74,6 +74,9 @@ template<Lattice L> struct Lift {
   }
 };
 
+// Deduction guide.
+template<typename L> Lift(L&&) -> Lift<L>;
+
 #if __cplusplus >= 202002L
 static_assert(Lattice<Lift<Bool>>);
 #endif
diff --git a/src/analysis/lattices/shared.h b/src/analysis/lattices/shared.h
index e75b895ea..54acf92b4 100644
--- a/src/analysis/lattices/shared.h
+++ b/src/analysis/lattices/shared.h
@@ -118,6 +118,9 @@ template<Lattice L> struct Shared {
   }
 };
 
+// Deduction guide.
+template<typename L> Shared(L&&) -> Shared<L>;
+
 #if __cplusplus >= 202002L
 static_assert(Lattice<Shared<Bool>>);
 #endif // __cplusplus >= 202002L
diff --git a/src/analysis/lattices/stack.h b/src/analysis/lattices/stack.h
index ad71cb1ac..c27965116 100644
--- a/src/analysis/lattices/stack.h
+++ b/src/analysis/lattices/stack.h
@@ -179,6 +179,9 @@ template<Lattice L> struct Stack {
   }
 };
 
+// Deduction guide.
+template<typename L> Stack(L&&) -> Stack<L>;
+
 #if __cplusplus >= 202002L
 static_assert(Lattice<Stack<Bool>>);
 #endif
diff --git a/src/analysis/lattices/vector.h b/src/analysis/lattices/vector.h
index 175ec5e3c..050b0f408 100644
--- a/src/analysis/lattices/vector.h
+++ b/src/analysis/lattices/vector.h
@@ -151,6 +151,9 @@ private:
   }
 };
 
+// Deduction guide.
+template<typename L> Vector(L&&, size_t) -> Vector<L>;
+
 #if __cplusplus >= 202002L
 static_assert(FullLattice<Vector<Bool>>);
 static_assert(Lattice<Vector<Flat<bool>>>);